Search results

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

• 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