[ale] Z Language

Boris Borisov bugyatl at gmail.com
Wed Aug 31 13:21:16 EDT 2016


We run out of letters for naming programming languages :)

On Aug 31, 2016 1:10 PM, "leam hall" <leamhall at gmail.com> wrote:

> I'm reading "Secure Coding: Principles and Practice" and it mentions the Z
> language for design formal method process. Anyone ever use it? Always
> trying to better my programming chops.
>
> Leam
>
> --
> Mind on a Mission <http://leamhall.blogspot.com/>
>
> _______________________________________________
> Ale mailing list
> Ale at ale.org
> http://mail.ale.org/mailman/listinfo/ale
> See JOBS, ANNOUNCE and SCHOOLS lists at
> http://mail.ale.org/mailman/listinfo
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.ale.org/pipermail/ale/attachments/20160831/7f09c885/attachment.html>


More information about the Ale mailing list