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” (

Bidragsytere:
  • Peter Csaba Ølveczky og
  • Gwen Salaün

Tidsskrift

Software and Systems Modeling (SoSyM)
ISSN 1619-1366
e-ISSN 1619-1374
NVI-nivå 2

Om resultatet

Leder
Publiseringsår: 2021
Publisert online: 2021

Importkilder

Scopus-ID: 2-s2.0-85102348086

Beskrivelse Beskrivelse

Tittel

Software engineering and formal methods: SEFM 2019 special section I tidsskriftet "Software and Systems Modeling” (

Bidragsytere

Peter Csaba Ølveczky

  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo

Gwen Salaün

  • Tilknyttet:
    Forfatter
    ved Université Grenoble Alpes
1 - 2 av 2