Cristin-resultat-ID: 1991718
Sist endret: 27. februar 2022, 12:44
Resultat
Leder
2021

Formal Aspects of Computing, Volume 33, Number 6, December 2021. Extended versions of papers presented at iFM 2019.

Bidragsytere:
  • Wolfgang Ahrendt
  • Silvia Lizeth Tapia Tarifa og
  • Heike Wehrheim

Tidsskrift

Formal Aspects of Computing
ISSN 0934-5043
e-ISSN 1433-299X
NVI-nivå 1

Om resultatet

Leder
Publiseringsår: 2021
Volum: 33
Hefte: 6

Importkilder

Scopus-ID: 2-s2.0-85121526515

Beskrivelse Beskrivelse

Tittel

Formal Aspects of Computing, Volume 33, Number 6, December 2021. Extended versions of papers presented at iFM 2019.

Bidragsytere

Wolfgang Ahrendt

  • Tilknyttet:
    Forfatter

Silvia Lizeth Tapia Tarifa

  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo

Heike Wehrheim

  • Tilknyttet:
    Forfatter
1 - 3 av 3