Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings

Michael Butler, Luigia Petre, Kaisa Sere

Tutkimustuotos: Kirja/lehti/raporttiAntologia/toimitettu lehtiTieteellinenvertaisarvioitu

AlkuperäiskieliEnglanti
KustantajaSpringer
Vuosikerta2335
ISBN (elektroninen)3-540-43703-7
ISBN (painettu)3-540-43703-7
DOI - pysyväislinkit
TilaJulkaistu - 2002
Julkaistu ulkoisestiKyllä
OKM-julkaisutyyppiC2 Toimitettu teos
TapahtumaIntegrated Formal Methods - Hamburger Börse hotel, Turku, Finland
Kesto: 15 toukok. 200218 toukok. 2002
Konferenssinumero: 3

Julkaisusarja

NimiLecture Notes in Computer Science
Vuosikerta2335

Viittausmuodot