[ale] Z Language

[leam hall]

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>