@inproceedings{hauzar:hal-01314885, TITLE = {{Counterexamples from Proof Failures in SPARK}}, AUTHOR = {Hauzar, David and March{\'e}, Claude and Moy, Yannick}, URL = {https://inria.hal.science/hal-01314885}, BOOKTITLE = {{Software Engineering and Formal Methods}}, ADDRESS = {Vienna, Austria}, PUBLISHER = {{Springer}}, SERIES = {Software Engineering and Formal Methods}, YEAR = {2016}, MONTH = Jul, PDF = {https://inria.hal.science/hal-01314885/file/article.pdf}, HAL_ID = {hal-01314885}, HAL_VERSION = {v1}, }