Media type: E-Article Title: Lecture Notes in Computer Science: Formalizing Semantics with an Automatic Program Verifier Contributor: Clochard, Martin; Filliâtre, Jean-Christophe; Marché, Claude; Paskevich, Andrei Published: Springer International Publishing, 2014 Published in: Lecture Notes in Computer Science (2014), Seite 37-51 Language: English DOI: 10.1007/978-3-319-12154-3_3 ISBN: 9783319121536; 9783319121543 ISSN: 0302-9743; 1611-3349 Origination: Footnote: