By the same authors

Contracts in CML

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

Full text download(s)

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

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

Publication series

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

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations