Cristin-resultat-ID: 1862729
Sist endret: 22. desember 2020, 12:01
Resultat
Vitenskapelig antologi/Konferanseserie
2020

25th International Conference on Types for Proofs and Programs (TYPES 2019)

Bidragsytere:
  • Marc Bezem og
  • Assia Mahboubi

Utgiver/serie

Utgiver

Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH

Serie

Leibniz International Proceedings in Informatics
ISSN 1868-8969
e-ISSN 1868-8969
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig antologi/Konferanseserie
Publiseringsår: 2020
Hefte: 175
Antall sider: 205
ISBN: 978-3-95977-158-0
Open Access

Klassifisering

Fagfelt (NPI)

Fagfelt: IKT
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

25th International Conference on Types for Proofs and Programs (TYPES 2019)

Bidragsytere

Marc Bezem

  • Tilknyttet:
    Redaktør
    ved Institutt for informatikk ved Universitetet i Bergen

Assia Mahboubi

  • Tilknyttet:
    Redaktør
    ved Institut National de Recherche en Informatique et en Automatique
1 - 2 av 2