Netvouz / AllanBaasch / tag / formal http://www.netvouz.com/AllanBaasch/tag/formal?feed=rss AllanBaasch's bookmarks tagged "formal" on Netvouz Formal concept analysis http://en.wikipedia.org/wiki/Concept_lattice Math AllanBaasch Sat, 20 Sep 2008 20:14:24 GMT Spin - Formal Verification http://spinroot.com/spin/whatispin.html Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT