Comments on: What can Formal Methods do? http://blog.ascens-ist.eu/2012/01/what-can-formal-methods-do/ Tue, 19 Apr 2011 13:17:31 +0000 hourly 1 http://wordpress.org/?v=3.3.2