Efficient Model Checking of Applications with I/O

Armin Biere (Speaker)

Institute of Formal Models and Verification

Activity: Talk or presentation › Contributed talk › unknown

Period	15 Feb 2007
Event title	Eurocast 2007
Event type	Conference
Location	SpainShow on map

Fields of science

102 Computer Sciences
102011 Formal languages