February 1st, 2015 M IHAELA SIGHIREANU Born: Citizenship: Marital status:

First Page		Document Content
Date: 2015-04-28 16:53:44 Computer science Theory of computation Workshop on Reachability Problems Software verification Model checking Computer Aided Verification French Institute for Research in Computer Science and Automation Computing		February 1st, 2015 M IHAELA SIGHIREANU Born: Citizenship: Marital status: Add to Reading List Source URL: www.irif.fr Download Document from Source Website File Size: 111,86 KB Share Document on Facebook