Links: Revision history

9 July 2015

• curprev 14:1414:14, 9 July 2015‎ Michael Leuschel talk contribs‎ 8,321 bytes −17‎ →‎Related Tools
• curprev 14:1214:12, 9 July 2015‎ Michael Leuschel talk contribs‎ 8,338 bytes 0‎ →‎Related Tools
• curprev 14:1114:11, 9 July 2015‎ Michael Leuschel talk contribs‎ 8,338 bytes 0‎ →‎Related Tools
• curprev 14:1014:10, 9 July 2015‎ Michael Leuschel talk contribs‎ 8,338 bytes +51‎ →‎Tools using ProB

23 March 2015

• curprev 12:5212:52, 23 March 2015‎ Michael Leuschel talk contribs‎ 8,287 bytes −4‎ →‎Testimonials

22 January 2015

• curprev 19:2619:26, 22 January 2015‎ Michael Leuschel talk contribs‎ 8,291 bytes +101‎ →‎Tools using ProB
• curprev 09:5109:51, 22 January 2015‎ Michael Leuschel talk contribs‎ 8,190 bytes +73‎ →‎Related Tools

24 November 2014

• curprev 10:5710:57, 24 November 2014‎ Michael Leuschel talk contribs‎ 8,117 bytes −10‎ →‎Tools using ProB
• curprev 10:5610:56, 24 November 2014‎ Michael Leuschel talk contribs‎ 8,127 bytes +189‎ →‎Tools using ProB
• curprev 10:5510:55, 24 November 2014‎ Michael Leuschel talk contribs‎ 7,938 bytes +146‎ →‎Tools using ProB

31 October 2014

• curprev 10:5810:58, 31 October 2014‎ Michael Leuschel talk contribs‎ 7,792 bytes +351‎ →‎Testimonials

3 October 2014

• curprev 14:1814:18, 3 October 2014‎ Michael Leuschel talk contribs‎ 7,441 bytes +104‎ →‎Tools using ProB
• curprev 14:1714:17, 3 October 2014‎ Michael Leuschel talk contribs‎ 7,337 bytes +192‎ →‎Tools using ProB

19 July 2014

• curprev 07:1607:16, 19 July 2014‎ Michael Leuschel talk contribs‎ 7,145 bytes −10‎ No edit summary

21 March 2014

• curprev 14:2514:25, 21 March 2014‎ Michael Leuschel talk contribs‎ 7,155 bytes +1‎ →‎Testimonies
• curprev 05:4805:48, 21 March 2014‎ Michael Leuschel talk contribs‎ 7,154 bytes −2‎ →‎Testimonies
• curprev 05:4805:48, 21 March 2014‎ Michael Leuschel talk contribs‎ 7,156 bytes −2‎ →‎Testimonies
• curprev 05:4705:47, 21 March 2014‎ Michael Leuschel talk contribs‎ 7,158 bytes 0‎ →‎Testimonies
• curprev 05:4705:47, 21 March 2014‎ Michael Leuschel talk contribs‎ 7,158 bytes +918‎ →‎Testimonies
• curprev 05:4305:43, 21 March 2014‎ Michael Leuschel talk contribs‎ 6,240 bytes 0‎ →‎Testimonies
• curprev 05:4205:42, 21 March 2014‎ Michael Leuschel talk contribs‎ 6,240 bytes +518‎ →‎Testimonies
• curprev 05:3805:38, 21 March 2014‎ Michael Leuschel talk contribs‎ 5,722 bytes +1,203‎ →‎Testimonies
• curprev 05:2905:29, 21 March 2014‎ Michael Leuschel talk contribs‎ 4,519 bytes +59‎ →‎Testimonies
• curprev 05:2405:24, 21 March 2014‎ Michael Leuschel talk contribs‎ 4,460 bytes +39‎ →‎Testimonies
• curprev 05:2205:22, 21 March 2014‎ Michael Leuschel talk contribs‎ 4,421 bytes +265‎ →‎Testimonies
• curprev 05:2005:20, 21 March 2014‎ Michael Leuschel talk contribs‎ 4,156 bytes +827‎ →‎Testimonies
• curprev 05:1705:17, 21 March 2014‎ Michael Leuschel talk contribs‎ 3,329 bytes +775‎ No edit summary

4 March 2014

• curprev 07:0607:06, 4 March 2014‎ Michael Leuschel talk contribs‎ 2,554 bytes +45‎ →‎Tools using ProB

17 February 2014

• curprev 14:1914:19, 17 February 2014‎ Michael Leuschel talk contribs‎ 2,509 bytes +131‎ →‎Books

25 January 2014

• curprev 07:2207:22, 25 January 2014‎ Michael Leuschel talk contribs‎ 2,378 bytes +73‎ No edit summary

23 July 2013

• curprev 14:2914:29, 23 July 2013‎ Michael Leuschel talk contribs‎ 2,305 bytes +170‎ →‎Tools using ProB
• curprev 14:2514:25, 23 July 2013‎ Michael Leuschel talk contribs‎ 2,135 bytes +59‎ →‎Tools using ProB
• curprev 14:2114:21, 23 July 2013‎ Michael Leuschel talk contribs‎ 2,076 bytes +311‎ No edit summary

4 June 2013

• curprev 08:0908:09, 4 June 2013‎ Michael Leuschel talk contribs‎ 1,765 bytes +50‎ →‎Miscellaneous

28 January 2013

• curprev 08:1208:12, 28 January 2013‎ Daniel Plagge talk contribs‎ 1,715 bytes −6‎ →‎Miscellaneous

8 October 2012

• curprev 14:0714:07, 8 October 2012‎ Michael Leuschel talk contribs‎ 1,721 bytes +152‎ →‎ProB
• curprev 14:0614:06, 8 October 2012‎ Michael Leuschel talk contribs‎ 1,569 bytes +144‎ No edit summary

4 March 2012

• curprev 10:4310:43, 4 March 2012‎ Jens Bendisposto talk contribs‎ 1,425 bytes −80‎ →‎ProB

23 January 2012

• curprev 12:3912:39, 23 January 2012‎ Michael Leuschel talk contribs‎ 1,505 bytes +88‎ →‎Tools
• curprev 12:3812:38, 23 January 2012‎ Michael Leuschel talk contribs‎ 1,417 bytes +76‎ →‎Tools

23 December 2011

• curprev 01:5001:50, 23 December 2011‎ Jens Bendisposto talk contribs‎ 1,341 bytes +10‎ No edit summary

27 June 2011

• curprev 08:4708:47, 27 June 2011‎ Michael Leuschel talk contribs‎ 1,331 bytes +86‎ →‎Tools
• curprev 08:4608:46, 27 June 2011‎ Michael Leuschel talk contribs‎ 1,245 bytes +43‎ →‎Tools

15 June 2010

• curprev 10:4810:48, 15 June 2010‎ Jens Bendisposto talk contribs‎ 1,202 bytes −33‎ →‎Tools
• curprev 10:4510:45, 15 June 2010‎ Jens Bendisposto talk contribs‎ 1,235 bytes −59‎ →‎Miscellaneous
• curprev 10:4510:45, 15 June 2010‎ Jens Bendisposto talk contribs‎ 1,294 bytes −49‎ →‎Miscellaneous

28 March 2010

• curprev 07:2007:20, 28 March 2010‎ Jens Bendisposto talk contribs‎ 1,343 bytes −214‎ →‎ProB

11 February 2010

• curprev 18:3318:33, 11 February 2010‎ Michael Leuschel talk contribs‎ 1,557 bytes 0‎ No edit summary
• curprev 18:3318:33, 11 February 2010‎ Michael Leuschel talk contribs‎ 1,557 bytes +13‎ →‎Miscellaneous
• curprev 18:3218:32, 11 February 2010‎ Michael Leuschel talk contribs‎ 1,544 bytes +1,544‎ 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…'