Links: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 08:0308:03, 8 August 2023‎ Michael Leuschel talk contribs‎ 14,370 bytes 0‎ →‎Testimonials
curprev 08:0308:03, 8 August 2023‎ Michael Leuschel talk contribs‎ 14,370 bytes +556‎ →‎Testimonials

curprev 16:3116:31, 15 February 2023‎ Michael Leuschel talk contribs‎ 13,814 bytes +5‎ →‎Books and Resources on B
curprev 16:2916:29, 15 February 2023‎ Michael Leuschel talk contribs‎ 13,809 bytes +115‎ →‎Books
curprev 16:2716:27, 15 February 2023‎ Michael Leuschel talk contribs‎ 13,694 bytes +155‎ →‎Books
curprev 16:2416:24, 15 February 2023‎ Michael Leuschel talk contribs‎ 13,539 bytes +81‎ →‎Books

curprev 08:3508:35, 21 November 2022‎ Michael Leuschel talk contribs‎ 13,458 bytes +90‎ →‎Tools using ProB

curprev 14:2914:29, 27 September 2022‎ Michael Leuschel talk contribs‎ 13,368 bytes +303‎ →‎Testimonials

curprev 07:5507:55, 5 September 2022‎ Michael Leuschel talk contribs‎ 13,065 bytes −1‎ →‎Testimonials
curprev 07:5507:55, 5 September 2022‎ Michael Leuschel talk contribs‎ 13,066 bytes +11‎ →‎Testimonials
curprev 07:5407:54, 5 September 2022‎ Michael Leuschel talk contribs‎ 13,055 bytes +516‎ →‎Testimonials

curprev 15:4715:47, 18 August 2022‎ Michael Leuschel talk contribs‎ 12,539 bytes −99‎ →‎Tools using ProB
curprev 15:4715:47, 18 August 2022‎ Michael Leuschel talk contribs‎ 12,638 bytes +99‎ →‎Related Tools
curprev 15:4715:47, 18 August 2022‎ Michael Leuschel talk contribs‎ 12,539 bytes +48‎ →‎Tools using ProB

curprev 11:0911:09, 24 May 2022‎ Michael Leuschel talk contribs‎ 12,491 bytes +304‎ →‎Testimonials
curprev 11:0611:06, 24 May 2022‎ Michael Leuschel talk contribs‎ 12,187 bytes 0‎ →‎Testimonials
curprev 11:0611:06, 24 May 2022‎ Michael Leuschel talk contribs‎ 12,187 bytes +583‎ →‎Testimonials

curprev 07:5907:59, 29 March 2022‎ Michael Leuschel talk contribs‎ 11,604 bytes +99‎ →‎Tools using ProB

curprev 16:1216:12, 6 December 2021‎ Michael Leuschel talk contribs‎ 11,505 bytes +31‎ →‎Books
curprev 16:0616:06, 6 December 2021‎ Michael Leuschel talk contribs‎ 11,474 bytes −40‎ →‎Books
curprev 16:0516:05, 6 December 2021‎ Michael Leuschel talk contribs‎ 11,514 bytes −7‎ →‎Books

curprev 07:4407:44, 7 May 2021‎ Michael Leuschel talk contribs‎ 11,521 bytes +3‎ →‎Testimonials
curprev 07:4307:43, 7 May 2021‎ Michael Leuschel talk contribs‎ 11,518 bytes +604‎ →‎Testimonials

curprev 15:4115:41, 3 February 2021‎ David Geleßus talk contribs‎ 10,914 bytes −30‎ Fix publications link

curprev 17:4317:43, 27 January 2021‎ Michael Leuschel talk contribs‎ 10,944 bytes +103‎ →‎Tools using ProB
curprev 13:1313:13, 27 January 2021‎ Michael Leuschel talk contribs‎ 10,841 bytes −1‎ →‎Related Tools
curprev 13:1213:12, 27 January 2021‎ Michael Leuschel talk contribs‎ 10,842 bytes −1‎ →‎Related Tools
curprev 13:1213:12, 27 January 2021‎ Michael Leuschel talk contribs‎ 10,843 bytes +20‎ →‎Related Tools

curprev 13:5713:57, 26 January 2021‎ Michael Leuschel talk contribs‎ 10,823 bytes −37‎ No edit summary

curprev 14:0314:03, 24 November 2020‎ Michael Leuschel talk contribs‎ 10,860 bytes +43‎ →‎Other Links

curprev 09:0709:07, 29 April 2020‎ Michael Leuschel talk contribs‎ 10,817 bytes +19‎ →‎ProB

curprev 07:4707:47, 17 April 2020‎ Michael Leuschel talk contribs‎ 10,798 bytes +24‎ →‎ProB

curprev 14:0514:05, 4 March 2020‎ Michael Leuschel talk contribs‎ 10,774 bytes +3‎ →‎Tools using ProB

curprev 09:1409:14, 4 February 2020‎ Michael Leuschel talk contribs‎ 10,771 bytes +81‎ →‎Papers

curprev 12:0312:03, 28 January 2020‎ Michael Leuschel talk contribs‎ 10,690 bytes +8‎ →‎Tools using ProB

curprev 12:1712:17, 17 January 2020‎ Michael Leuschel talk contribs‎ 10,682 bytes −99‎ →‎Related Tools
curprev 12:1512:15, 17 January 2020‎ Michael Leuschel talk contribs‎ 10,781 bytes +10‎ →‎Related Tools

curprev 09:0609:06, 2 December 2019‎ Michael Leuschel talk contribs‎ 10,771 bytes −15‎ →‎Tools using ProB
curprev 09:0509:05, 2 December 2019‎ Michael Leuschel talk contribs‎ 10,786 bytes +253‎ →‎Tools using ProB

curprev 15:1115:11, 26 September 2018‎ Michael Leuschel talk contribs‎ 10,533 bytes +95‎ →‎Tools using ProB

curprev 07:3907:39, 16 May 2018‎ Michael Leuschel talk contribs‎ 10,438 bytes +1‎ →‎General
curprev 07:3907:39, 16 May 2018‎ Michael Leuschel talk contribs‎ 10,437 bytes +64‎ No edit summary

curprev 12:2612:26, 24 March 2017‎ Michael Leuschel talk contribs‎ 10,373 bytes +97‎ →‎Related Tools

curprev 16:0316:03, 31 January 2017‎ Michael Leuschel talk contribs‎ 10,276 bytes +79‎ →‎Tools using ProB

curprev 08:4708:47, 26 January 2017‎ Michael Leuschel talk contribs‎ 10,197 bytes +54‎ →‎Tools using ProB
curprev 08:4608:46, 26 January 2017‎ Michael Leuschel talk contribs‎ 10,143 bytes −8‎ →‎Tools using ProB
curprev 08:4508:45, 26 January 2017‎ Michael Leuschel talk contribs‎ 10,151 bytes +139‎ →‎Tools using ProB

curprev 14:0614:06, 20 December 2016‎ Michael Leuschel talk contribs‎ 10,012 bytes +175‎ →‎Tools using ProB
curprev 13:4713:47, 20 December 2016‎ Michael Leuschel talk contribs‎ 9,837 bytes +280‎ →‎Tools using ProB

curprev 10:4010:40, 24 October 2016‎ Michael Leuschel talk contribs‎ 9,557 bytes +41‎ →‎Tools using ProB

curprev 16:4616:46, 5 October 2016‎ Michael Leuschel talk contribs‎ 9,516 bytes +107‎ →‎Translating to Logic
curprev 16:4416:44, 5 October 2016‎ Michael Leuschel talk contribs‎ 9,409 bytes +109‎ →‎Other Links
curprev 16:4316:43, 5 October 2016‎ Michael Leuschel talk contribs‎ 9,300 bytes +91‎ →‎Other Links

curprev 07:5907:59, 27 September 2016‎ Michael Leuschel talk contribs‎ 9,209 bytes +57‎ →‎Tools using ProB

curprev 06:4306:43, 30 June 2016‎ Michael Leuschel talk contribs‎ 9,152 bytes +89‎ →‎Testimonials
curprev 06:3806:38, 30 June 2016‎ Michael Leuschel talk contribs‎ 9,063 bytes +158‎ →‎Testimonials

curprev 13:3713:37, 23 June 2016‎ Michael Leuschel talk contribs‎ 8,905 bytes +87‎ No edit summary

curprev 13:3713:37, 26 February 2016‎ Michael Leuschel talk contribs‎ 8,818 bytes +1‎ →‎Related Tools

curprev 16:4116:41, 23 February 2016‎ Michael Leuschel talk contribs‎ 8,817 bytes +97‎ →‎Tools using ProB

curprev 14:2614:26, 30 November 2015‎ Michael Leuschel talk contribs‎ 8,720 bytes 0‎ →‎Related Tools
curprev 14:2614:26, 30 November 2015‎ Michael Leuschel talk contribs‎ 8,720 bytes +84‎ →‎Related Tools

curprev 15:0515:05, 18 September 2015‎ Michael Leuschel talk contribs‎ 8,636 bytes +66‎ →‎ProB

curprev 09:5509:55, 20 August 2015‎ Michael Leuschel talk contribs‎ 8,570 bytes 0‎ No edit summary
curprev 09:5509:55, 20 August 2015‎ Michael Leuschel talk contribs‎ 8,570 bytes +95‎ →‎Tools using ProB

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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…'

8 August 2023

15 February 2023

21 November 2022

27 September 2022

5 September 2022

18 August 2022

24 May 2022

29 March 2022

6 December 2021

7 May 2021

3 February 2021

27 January 2021

26 January 2021

24 November 2020

29 April 2020

17 April 2020

4 March 2020

4 February 2020

28 January 2020

17 January 2020

2 December 2019

26 September 2018

16 May 2018

24 March 2017

31 January 2017

26 January 2017

20 December 2016

24 October 2016

5 October 2016

27 September 2016

30 June 2016

23 June 2016

26 February 2016

23 February 2016

30 November 2015

18 September 2015

20 August 2015

9 July 2015

23 March 2015

22 January 2015

24 November 2014

31 October 2014

3 October 2014

19 July 2014

21 March 2014

4 March 2014

17 February 2014

25 January 2014

23 July 2013

4 June 2013

28 January 2013

8 October 2012

4 March 2012

23 January 2012

23 December 2011

27 June 2011

15 June 2010

28 March 2010

11 February 2010