[ale] Z Language

leam hall leamhall at gmail.com
Wed Aug 31 13:02:08 EDT 2016


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/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.ale.org/pipermail/ale/attachments/20160831/cc670270/attachment.html>


More information about the Ale mailing list