1.

Record Nr.

UNINA990009241800403321

Titolo

Integrated Formal Methods [Risorsa elettronica] : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings / edited by Michael Butler, Luigia Petre, Kaisa Sere

Pubbl/distr/stampa

Berlin ; Heidelberg : Springer, 2006

ISBN

9783540478843

Collana

Lecture Notes in Computer Science , 0302-9743 ; 2335

Lingua di pubblicazione

Inglese

Formato

Risorsa elettronica

Livello bibliografico

Monografia