@inproceedings{marche:hal-00778791, TITLE = {{Calcul de plus faible pr{\'e}condition, revisit{\'e} en Why3}}, AUTHOR = {March{\'e}, Claude and Tafat, Asma}, URL = {https://inria.hal.science/hal-00778791}, BOOKTITLE = {{JFLA - Journ{\'e}es francophones des langages applicatifs - 2013}}, ADDRESS = {Aussois, France}, ORGANIZATION = {{Damien Pous and Christine Tasson}}, EDITOR = {Damien Pous and Christine Tasson}, YEAR = {2013}, MONTH = Feb, KEYWORDS = {Why3 ; Calcul de plus faible pr{\'e}condition ; S{\'e}mantique bloquante ; Preuve de correction}, PDF = {https://inria.hal.science/hal-00778791/file/jfla2013-01.pdf}, HAL_ID = {hal-00778791}, HAL_VERSION = {v1}, }