Contracts in CML

J. C. P. Woodcock, A. L. C. Cavalcanti, J. Fitzgerald, S. Foster, P. G. Larsen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
PublisherSpringer
Pages54-73
Number of pages20
ISBN (Electronic)978-3-662-45231-8
ISBN (Print)978-3-662-45230-1
DOIs
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8803
ISSN (Print)0302-9743

Cite this