1. Boogie: A Modular Reusable Verifier for Object-Oriented Programs
2. Embedded contract languages
3. Experimentation in software engineering
4. H.-C.
Estler C.
Furia M.
Nordio M.
Piccioni and
B.
Meyer
.
Contracts in practice. In C. Jones P. Pihlajasaari and J. Sun editors FM 2014: Formal Methods volume
8442
of
Lecture Notes in Computer Science pages
230
--
246
.
Springer International Publishing 2014
. 10.1007/978-3-319-06410-9_17 H.-C. Estler C. Furia M. Nordio M. Piccioni and B. Meyer. Contracts in practice. In C. Jones P. Pihlajasaari and J. Sun editors FM 2014: Formal Methods volume 8442 of Lecture Notes in Computer Science pages 230--246. Springer International Publishing 2014. 10.1007/978-3-319-06410-9_17