11:1511:15, 15 June 2010diffhist+950 N
ProBLicence
Created page with 'Category:User Manual == ProB Licence == (C) 2000-2010 Michael Leuschel (and many others; see below) All rights reserved. ProB can now be used freely for commercial, non-co…'
18:3218:32, 11 February 2010diffhist+1,544 N
Links
Created page with '== Books == * [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) * [http…'