User contributions
From Event-B
Jump to navigationJump to search- 12:36, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 EVBT.pdf current
- 12:36, 14 June 2021 diff hist +1 Rodin Workshop 2021
- 12:35, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 OntoEventB.pdf current
- 12:34, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf current
- 12:33, 14 June 2021 diff hist +480 Rodin Workshop 2021
- 12:25, 14 June 2021 diff hist 0 Rodin Workshop 2021
- 12:25, 14 June 2021 diff hist 0 N File:RodinWorkshop2021 Data-types definitions.pdf current
- 12:24, 14 June 2021 diff hist +45 Rodin Workshop 2021
- 12:05, 14 June 2021 diff hist +1,480 Rodin Workshop 2021
- 10:31, 29 January 2021 diff hist -1 Rodin Workshop 2021 →Call For Papers
- 10:30, 29 January 2021 diff hist +32 Rodin Workshop 2021 →Call For Papers
- 10:25, 29 January 2021 diff hist -2 Rodin Workshop 2021
- 10:23, 29 January 2021 diff hist +1,792 N Rodin Workshop 2021 Created page with "<h1>The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany</h1> The 9th Rodin workshop will be collocated with the [https://abz2021.uni-ulm.de ABZ2021 Conferen..."