8th Int'l Workshop on Formal Methods for Industrial Critical Systems

Event Detail

General Information
Dates:
Thursday, June 5, 2003 - Saturday, June 7, 2003
Days of Week:
Thursday
Friday
Saturday
Target Audience:
Academic Oriented
Location:
Trondheim, Norway
Sponsor:
URL:
http://www.inrialpes.fr/vasy/fmics/workshop-8/