Search results
From Event-B
Jump to navigationJump to searchCreate the page "Fabian" on this wiki! See also the search results found.
- '''14:00 - 15:30''' Session 3 — ''Session Chair: Fabian Vu'' <p>Fabian Vu, Heinrich Heine University Düsseldorf, Germany</p>3 KB (375 words) - 15:36, 26 May 2023
- ...dorf.de/thesis_detail.php?id=20 A Semantics-Aware Text Editor for Event-B. Fabian Fritz. Master's Thesis. 2009] * Developing Camille, a Text Editor for Rodin. Jens Bendisposto, Fabian Fritz and Michael Leuschel. 2009. (to appear in WS-TBFM 2010)8 KB (1,257 words) - 15:56, 28 January 2010
- The efforts in [[Düsseldorf]] ([[User:Fabian|Fabian]]) and [[Newcastle]] ([[User:Alexei|Alexei]]) have been joined to create a12 KB (1,869 words) - 16:35, 18 March 2014
- ...~leuschel/publication_detail.php?id=248 Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge. Automated Property Verification for Large Scale B Mod17 KB (2,580 words) - 15:55, 28 January 2010