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

@inproceedings{ErnstPfeiferUlbrich2024,
    author          = {Gidon Ernst and Wolfram Pfeifer and Mattias Ulbrich},
    year            = {2024},
    month           = {oct},
    title           = {Contract-LIB: A Proposal for a Common Interchange Format for
                       Software System Specification},
    eventtitle      = {12th International Symposium On Leveraging Applications of
                       Formal Methods, Verification and Validation},
    eventtitleaddon = {ISoLA 2024},
    eventdate       = {2024-10-27/2024-10-31},
    venue           = {Crete, Greece},
    booktitle       = {12th International Symposium on Leveraging Applications of
                       Formal Methods, Verification and Validation (ISoLA 2024).
                       Specification and Verification},
    publisher       = {Springer}
}