ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Contract-LIB: A Proposal for a Common Interchange Format for Software Systems Specification

Time: Tuesday, 29.10

Room: Room 2

Authors: Gidon Ernst, Mattias Ulbrich, Wolfram Pfeifer

Abstract: