Back to Results
First PageMeta Content
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

Document Date: 2015-04-28 16:53:44

Open Document

File Size: 111,86 KB

Share Result on Facebook