Search results

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

Page title matches

• User talk:Maria
  Hello Maria, I've done some change to [[Current Development]], and added a word to expl
  222 bytes (28 words) - 17:12, 9 September 2008

Page text matches

• User talk:Maria
  Hello Maria, I've done some change to [[Current Development]], and added a word to expl
  222 bytes (28 words) - 17:12, 9 September 2008
• Talk:Current Developments
  Hello Maria,
  531 bytes (82 words) - 10:48, 25 September 2008
• Rodin Workshop 2010
  ...din2010-sld-llano_etal_1.pdf ''Refinement Plans for Reasoned Modelling''], Maria Teresa Llano, Andrew Ireland, and Gudmund Grov ...ng automated theory formation to discover invariants of Event-B models''], Maria Teresa Llano, Andrew Ireland, Alison Pease, Simon Colton, John Charnley
  5 KB (716 words) - 09:28, 22 November 2010
• Past Developments
  [[User:Maria|Maria Husmann]] was in charge of this exploratory work during her internship at [
  6 KB (915 words) - 16:57, 27 February 2014
• Rodin Workshop 2009
  * Maria Teresa Llano, [http://wiki.event-b.org/images/RodinWorkshopPresentation.pdf
  5 KB (766 words) - 09:59, 21 September 2011