Search results

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

Page title matches

• User:Fabian
  = Fabian Fritz =
  113 bytes (16 words) - 15:06, 5 November 2008

Page text matches

• File:EMFpersistence1UpdateNotification.png Fabian's picture of update notification in the EMF persistence (898 × 684 (105 KB)) - 20:49, 30 April 2020

• Talk:Development Rules
  --[[User:Fabian|Fabian]] 14:42, 1 April 2009 (UTC) In section ''Team'' I restored the communicatio
  191 bytes (28 words) - 14:42, 1 April 2009
• User:Fabian
  = Fabian Fritz =
  113 bytes (16 words) - 15:06, 5 November 2008
• 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