@techreport{marche:hal-00766171, TITLE = {{Weakest Precondition Calculus, Revisited using Why3}}, AUTHOR = {March{\'e}, Claude and Tafat, Asma}, URL = {https://inria.hal.science/hal-00766171}, TYPE = {Research Report}, NUMBER = {RR-8185}, PAGES = {32}, INSTITUTION = {{INRIA}}, YEAR = {2012}, MONTH = Dec, PDF = {https://inria.hal.science/hal-00766171/file/RR-8185.pdf}, HAL_ID = {hal-00766171}, HAL_VERSION = {v1}, }