Jeremy W. Sherman
stay a while, and listen
formal-methods
Beyond Our Ken
5 May 2016
VDM & The “Agile Spec” Problem
28 May 2014
Where to?
Home
All Categories
All Tags
About
Blog Roll
Tools
Talks
Papers
Posts
Elsewhere
Pnut.io
Twitter
GitHub
GitLab
Bitbucket
LinkedIn
StackExchange