News for hackers. Stuff that matters.
Re:Code Inflation [pdf] by peterfirefly on Saturday April 18, 2015 @04:32AM (#9398739)
I'm a big fan of Gerard Holzmann -- his work is well worth checking out.

http://en.wikipedia.org/wiki/Gerard_J._Holzmann

There are no comments on this comment yet.