19th Intl. Conference on Computer-Aided Verification - CAV'07

  • Armin Biere (Organiser)

Activity: Participating in or organising an event › Organising a conference, workshop, ...

Period03 Jul 2007 → 07 Jul 2007
Event typeConference
LocationGermanyShow on map

Fields of science

  • 102 Computer Sciences