Media type: E-Book; Conference Proceedings Title: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering Corporation: Association for Computing Machinery-Digital Library ; ACM Special Interest Group on Software Engineering imprint: New York, NY: ACM, 2016 Published in: ACM Conferences ACM Digital Library Extent: 1 online resource (61 pages) Language: English DOI: 10.1145/2897667 ISBN: 9781450341592 Identifier: Keywords: Computer science ; Formal software verification ; Program reasoning ; Program verification ; Konferenzschrift Origination: Footnote: