<div dir="ltr">Sorry, forgot the URL: <a href="https://en.wikipedia.org/wiki/Z_notation">https://en.wikipedia.org/wiki/Z_notation</a></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 31, 2016 at 1:21 PM, Boris Borisov <span dir="ltr"><<a href="mailto:bugyatl@gmail.com" target="_blank">bugyatl@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">We run out of letters for naming programming languages :)</p>
<div class="gmail_extra"><br><div class="gmail_quote"><div><div class="h5">On Aug 31, 2016 1:10 PM, "leam hall" <<a href="mailto:leamhall@gmail.com" target="_blank">leamhall@gmail.com</a>> wrote:<br type="attribution"></div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid"><div><div class="h5"><div dir="ltr"><div>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.</div><div><br></div><div>Leam<br clear="all"><br>-- <br></div><div data-smartmail="gmail_signature"><div><a href="http://leamhall.blogspot.com/" target="_blank">Mind on a Mission</a></div></div>
</div>
<br></div></div>______________________________<wbr>_________________<br>
Ale mailing list<br>
<a href="mailto:Ale@ale.org" target="_blank">Ale@ale.org</a><br>
<a href="http://mail.ale.org/mailman/listinfo/ale" target="_blank" rel="noreferrer">http://mail.ale.org/mailman/li<wbr>stinfo/ale</a><br>
See JOBS, ANNOUNCE and SCHOOLS lists at<br>
<a href="http://mail.ale.org/mailman/listinfo" target="_blank" rel="noreferrer">http://mail.ale.org/mailman/li<wbr>stinfo</a><br>
<br></blockquote></div></div>
<br>______________________________<wbr>_________________<br>
Ale mailing list<br>
<a href="mailto:Ale@ale.org">Ale@ale.org</a><br>
<a href="http://mail.ale.org/mailman/listinfo/ale" target="_blank" rel="noreferrer">http://mail.ale.org/mailman/<wbr>listinfo/ale</a><br>
See JOBS, ANNOUNCE and SCHOOLS lists at<br>
<a href="http://mail.ale.org/mailman/listinfo" target="_blank" rel="noreferrer">http://mail.ale.org/mailman/<wbr>listinfo</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br><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>