ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/35848
Record Status Checked
Record Id 35848
Title Mondex Case Study Second Workshop
Contributors
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):
Language English (EN)
Type Details URI(s) Local file(s) Year
Conference Proceedings Mondex Case Study Second Workshop, 25-26 May 2006. 2006 Mondex2woodcock.pdf
Mondex2crocker.pdf
Mondex2haxthausenpdf.pdf
mondex2freitas.pdf
Mondex2schellhorn.pdf
Mondex2agenda.doc
Mondex2banach.pdf
Mondex2butler.pdf
Mondex2ramananandro.pdf
Mondex2bowen.pdf
2006
Showing record 1 of 1