Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
2004262
Sist endret:
22. februar 2022, 16:11
Resultat
Leder
2021
Software engineering and formal methods: SEFM 2019 special section I tidsskriftet "Software and Systems Modeling” (
Peter Csaba Ølveczky
og
Gwen Salaün
Tidsskrift
Tidsskrift
Software and Systems Modeling (SoSyM)
ISSN 1619-1366
e-ISSN 1619-1374
NVI-nivå 2
Finn i kanalregisteret
Om resultatet
Om resultatet
Leder
Publiseringsår: 2021
Publisert online: 2021
Lenker
Lenker
original online (doi)
https://doi.org/10.1007/s10270-021-00874-1
Importkilder
Importkilder
Scopus-ID: 2-s2.0-85102348086
Beskrivelse
Beskrivelse
Engelsk
Tittel
Software engineering and formal methods: SEFM 2019 special section I tidsskriftet "Software and Systems Modeling” (
Bidragsytere
Bidragsytere
Peter Csaba Ølveczky
Forfatter
ved PROG Programmering ved Universitetet i Oslo
Gwen Salaün
Forfatter
ved Université Grenoble Alpes
1
-
2
av
2