Catégorie Rapport Auteurs Imen Boudhiba Christophe Gaston Pascale Le Gall Virgile Prévosto https://hal.science/hal-01191890v1 doc ID 1191890 Nom Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine Date de publication mar 03/09/2024 - 12:00