Theme issue on Integrated Formal Methods

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)


Interna författare/redaktörer


Publikationens författare: Einar Broch Johnsen, Luigia Petre
Förläggare: SPRINGER HEIDELBERG
Publiceringsår: 2016
Tidskrift: Software and Systems Modeling
Tidskriftsakronym: SOFTW SYST MODEL
Volym: 15
Nummer: 4
Artikelns första sida, sidnummer: 933
Artikelns sista sida, sidnummer: 935
Antal sidor: 3
ISSN: 1619-1366

Senast uppdaterad 2019-16-10 vid 03:18