Theme issue on Integrated Formal Methods

Einar Broch Johnsen, Luigia Petre

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

OriginalspråkOdefinierat/okänt
Sidor (från-till)933–935
Antal sidor3
TidskriftSoftware and Systems Modeling
Volym15
Utgåva4
DOI
StatusPublicerad - 2016
MoE-publikationstypA1 Tidskriftsartikel-refererad

Citera det här