International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Time: Tuesday, 29.10
Room: Room 2
Authors: Gidon Ernst, Mattias Ulbrich, Wolfram Pfeifer
Slides: Contract-LIB_A_Proposal_for_a_Common_Interchange_Format_for_Software_Systems_Specification-slides.pdf