Proofs and Refutations in Invariant-Based Programming

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Editors: Albert E, Sekerinski E
Publisher: Springer
Publication year: 2014
Publisher: Springer
Book title: Proceedings of the 11th International Conference on Integrated Formal Methods (iFM2014)
Title of series: Lecture Notes in Computer Science
Volume number: 8739
Start page: 189
End page: 204
ISBN: 978-3-319-10180-4
eISBN: 978-3-319-10181-1
ISSN: 0302-9743

Last updated on 2020-11-07 at 06:28