Other Publication Details
Mandatory Fields
Conference Paper
Dr Rosemary Monahan, Dr Diarmuid O'Donoghue
2012
Case Based Specifications - reusing specifications, programs and proofs
Published
0
()
Optional Fields
Alan Bundy and Dieter Hutter and Cliff B. Jones and J Strother Moore
2192-5283
Grant Details