Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Einar Broch Johnsen, Luigia Petre

Tutkimustuotos: Kirja/lehti/raporttiAntologia/toimitettu lehtiTieteellinenvertaisarvioitu

AlkuperäiskieliEnglanti
KustantajaSpringer
ISBN (elektroninen)978-3-642-38612-1
ISBN (painettu)978-3-642-38612-1
DOI - pysyväislinkit
TilaJulkaistu - 2013
OKM-julkaisutyyppiC2 Toimitettu teos
TapahtumaIntegrated Formal Methods - ICT house, Turku, Finland
Kesto: 10 kesäk. 201314 kesäk. 2013
Konferenssinumero: 10

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer
Vuosikerta7940

Viittausmuodot