Comments on: Formal Methods for Computer System Engineering http://blog.ascens-ist.eu/2012/02/formal-methods-for-computer-system-engineering/ Tue, 19 Apr 2011 13:17:31 +0000 hourly 1 http://wordpress.org/?v=3.3.2