8th Int'l Workshop on Formal Methods for Industrial Critical Systems
 |
|
| General Information | |
| Dates: | Thursday June 05 2003 - Saturday June 07 2003 |
|---|---|
| Days of Week: | Thursday Friday Saturday |
| URL: | Academic Oriented |
| Location: |
Trondheim, Norway |
| URL: | http://www.inrialpes.fr/vasy/fmics/workshop-8/ |