Search results

Create the page "Fabian" on this wiki! See also the search results found.

• Rodin Workshop 2023
  '''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
• D23 TEXT
  ...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
• Current Developments
  The efforts in [[Düsseldorf]] ([[User:Fabian|Fabian]]) and [[Newcastle]] ([[User:Alexei|Alexei]]) have been joined to create a
  12 KB (1,869 words) - 16:35, 18 March 2014
• D23 ProB
  ...~leuschel/publication_detail.php?id=248 Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge. Automated Property Verification for Large Scale B Mod
  17 KB (2,580 words) - 15:55, 28 January 2010