http://neverletdown.net by Michael Keeling Wed, 14 Sep 2011 02:23:54 +0000 en hourly 1 http://wordpress.org/?v=3.2.1 http://neverletdown.net/2009/12/the-domestication-of-formal-methods/ http://neverletdown.net/2009/12/the-domestication-of-formal-methods/#comments Tue, 15 Dec 2009 22:28:23 +0000 Michael Keeling http://neverletdown.net/?p=131 http://neverletdown.net/2009/12/the-domestication-of-formal-methods/feed/ 0 http://neverletdown.net/2009/01/thoughts-on-formal-methods-in-software-engineering/ http://neverletdown.net/2009/01/thoughts-on-formal-methods-in-software-engineering/#comments Wed, 14 Jan 2009 03:30:28 +0000 Michael Keeling http://neverletdown.net/?p=4 http://neverletdown.net/2009/01/thoughts-on-formal-methods-in-software-engineering/feed/ 0