@inproceedings{clochard:hal-01067197, TITLE = {{Formalizing Semantics with an Automatic Program Verifier}}, AUTHOR = {Clochard, Martin and Filli{\^a}tre, Jean-Christophe and March{\'e}, Claude and Paskevich, Andrei}, URL = {https://inria.hal.science/hal-01067197}, BOOKTITLE = {{6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE)}}, ADDRESS = {Vienna, Austria}, EDITOR = {Dimitra Giannakopoulou and Daniel Kroening}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {8471}, YEAR = {2014}, MONTH = Jul, PDF = {https://inria.hal.science/hal-01067197/file/main.pdf}, HAL_ID = {hal-01067197}, HAL_VERSION = {v1}, }