[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[ale] Z Language
- Subject: [ale] Z Language
- From: leamhall at gmail.com (leam hall)
- Date: Wed, 31 Aug 2016 13:02:08 -0400
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>