Netvouz / AllanBaasch / tag / designs http://netvouz.com/AllanBaasch/tag/designs?feed=rss AllanBaasch's bookmarks tagged "designs" on Netvouz Validated Designs for Object-oriented Systems http://www.vdmbook.com/ Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT