<div dir="ltr"><div>I&#39;m reading &quot;Secure Coding: Principles and Practice&quot; and it mentions the Z language for design formal method process. Anyone ever use it? Always trying to better my programming chops.</div><div><br></div><div>Leam<br clear="all"><br>-- <br></div><div class="gmail_signature" data-smartmail="gmail_signature"><div><a href="http://leamhall.blogspot.com/" target="_blank">Mind on a Mission</a></div></div>
</div>