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

	CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007: DocID: 1xVmC - View Document
	CAV 2017, Heidelberg 29th International Conference on Computer Aided Verification Location: Heidelberg Stadthalle Kongresshaus Stadthalle Heidelberg Neckarstaden 24, 69117 Heidelberg, Germany DocID: 1tJdU - View Document
	Workshops of CAV 2017 29th International Conference on Computer Aided Verification Heidelberg Germany Workshops in Crowne Plaza Crowne Plaza Heidelberg City Centre DocID: 1tG7A - View Document
	BSI Case Study: VolkerFitzpatrick Certification: BSI Verification for BIM The faster track to new contracts “We’ve been able to spread our brand wider by marketing the DocID: 1qO01 - View Document
	CAV28th International Conference on Computer Aided Verification July, 2016 • Hyatt Regency • Toronto, Ontario, Canada First name ____________________________________________ Last name _______________ DocID: 1pID8 - View Document