Peer-Reviewed Journal Details
Mandatory Fields
Rosemary Monahan, Diarmuid P. O'Donoghue
2012
DAGSTUHL REPORTS
Case Based Specifications reusing specifications, programs and proofs
Published
()
Optional Fields
2
20-21
7
2192-5283
Grant Details