First Page | Document Content | |
---|---|---|
Date: 2015-04-28 16:53:44Computer 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 ListSource URL: www.irif.frDownload Document from Source WebsiteFile Size: 111,86 KBShare Document on Facebook |