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

Einar Broch Johnsen, Luigia Petre

Forskningsoutput: Bok/tidskrift/rapportAntologi/redigerad tidskriftVetenskapligPeer review

OriginalspråkEngelska
FörlagSpringer
ISBN (elektroniskt)978-3-642-38612-1
ISBN (tryckt)978-3-642-38612-1
DOI
StatusPublicerad - 2013
MoE-publikationstypC2 Redigerat verk
EvenemangIntegrated Formal Methods - ICT house, Turku, Finland
Varaktighet: 10 juni 201314 juni 2013
Konferensnummer: 10

Publikationsserier

NamnLecture Notes in Computer Science
FörlagSpringer
Volym7940

Citera det här