Dettaglio del documento
- Scheda
| Testo | ||
| Periodico Annuale | ||
| Descrizione | *FMICS ... : *Proceedings of the ... international workshop on formal methods for industrial critical systems / sponsored by ACM SIGSOFT New York : ACM v. ; 28 cm |
|
| Note | Annuale Descrizione basata su: 2005. |
|
| Autore secondario |
|
|
| Luogo pubblicazione | New York | |
| Editori | ACM |