Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address:

First Page		Document Content
Date: 2012-12-15 15:15:28 Computer science Model checking Petri net Computer Aided Verification Formal methods ALGOL 68 Models of computation Software engineering Computing		Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address: Add to Reading List Source URL: software.imdea.org Download Document from Source Website File Size: 93,02 KB Share Document on Facebook