Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings /
| Hoofdauteur: | |
|---|---|
| Formaat: | Boek |
| Taal: | Engels |
| Gepubliceerd in: |
Berlín, Alemania :
Springer,
2004, c2004
|
| Reeks: | (Lecture Notes in Computer Science)
|
| Online toegang: | Ver documento en línea |