@article{moy:inria-00534331, TITLE = {{Modular inference of subprogram contracts for safety checking}}, AUTHOR = {Moy, Yannick and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00534331}, JOURNAL = {{Journal of Symbolic Computation}}, PUBLISHER = {{Elsevier}}, VOLUME = {45}, PAGES = {1184-1211}, YEAR = {2010}, PDF = {https://inria.hal.science/inria-00534331/file/YJSCO1169.pdf}, HAL_ID = {inria-00534331}, HAL_VERSION = {v1}, }