Conference Contribution Details
Mandatory Fields
• Case Based Specifications: Re-using programs, specifications and proofs
Schloss Dagstuhl - Leibniz Center for Informatics
Germany
Oral Presentation
2012
()
Optional Fields
Invited presentation Presenter: Dr. Rosemary Monahan