@inproceedings{38f01a55bb204e9a9e6b01af42a1be3b,
title = "Contracts in CML",
author = "Woodcock, {J. C. P.} and Cavalcanti, {A. L. C.} and J. Fitzgerald and S. Foster and Larsen, {P. G.}",
year = "2014",
doi = "10.1007/978-3-662-45231-8_5",
language = "English",
isbn = "978-3-662-45230-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "54--73",
booktitle = "6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
address = "Germany",
}