Back to Results
First PageMeta Content
Theoretical computer science / Engineering / Electrical engineering / Formal methods / Grandes coles / Rajeev Alur / Model checking / Formal verification / Cachan / cole Normale Suprieure / Ens / Computer Aided Verification


Patricia BOUYER-DECITRE Office: LSV – CNRS & ENS de Cachan 61, avenue du Pr´esident WilsonCachan – France Tel: +41 Fax: +21
Add to Reading List

Document Date: 2014-07-01 16:25:40


Open Document

File Size: 139,43 KB

Share Result on Facebook