FMICS '05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/fse '05
editors Tiziana Margaria &
Bok Engelsk 2005 International Workshop on Formal Methods for Industrial Critical Systems
| Annen tittel | |
|---|---|
| Utgitt | New York : The Association for Computing Machinery , c2005
|
| Omfang | viii, 144 s.
|
| Emner | |
| Dewey | |
| ISBN | 1595931481
|
