Theme issue on Integrated Formal Methods

Einar Broch Johnsen, Luigia Petre

Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

AlkuperäiskieliEi tiedossa
Sivut933–935
Sivumäärä3
JulkaisuSoftware and Systems Modeling
Vuosikerta15
Numero4
DOI - pysyväislinkit
TilaJulkaistu - 2016
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

Viittausmuodot