Mondex Case Study Second Workshop

ePubs

The open archive for STFC research publications

Persistent URL	http://purl.org/net/epubs/work/35848
Record Status	Checked
Record Id	35848
Title	Mondex Case Study Second Workshop
Contributors	JC Bicarregui (CCLRC Rutherford Appleton Lab.), JCP Woodcock (York U.), L Freitas (York U.), G Schellhorn (Augsburg), T Ramananandro (École Normale Supérieure), J Bowen (London South Bank), R Banach (Manchester U.), M Butler (Southampton U.), D Crocker (Escher Technologies), C George (UNU, Macau), A Haxthausen (UNU, Macau), M Jackson (MIT)
Abstract	The slides and other material from the second workshop of the Mondex Case Study for the Verified Software Repository
Organisation	CCLRC , ESC , VSR
Keywords	Engineering , Verified Software Repository
Funding Information
Related Research Object(s):
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Conference Proceedings	Mondex Case Study Second Workshop, 25-26 May 2006. 2006		Mondex2agenda.doc mondex2freitas.pdf Mondex2schellhorn.pdf Mondex2ramananandro.pdf Mondex2bowen.pdf Mondex2banach.pdf Mondex2butler.pdf Mondex2crocker.pdf Mondex2haxthausenpdf.pdf Mondex2woodcock.pdf	2006