Olivier Bouissou. Vérification partielle de programmes de contrôle-commande par interprétation abstraite. Technique et Science Informatiques, 31(3):337-373, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.