Principles of Contract Languages (Dagstuhl Seminar 22451) (Englisch)
Freier Zugriff
- Neue Suche nach: Gurov, Dilian
- Neue Suche nach: Hähnle, Reiner
- Neue Suche nach: Huisman, Marieke
- Neue Suche nach: Reger, Giles
- Neue Suche nach: Lidström, Christian
- Neue Suche nach: Gurov, Dilian
- Neue Suche nach: Hähnle, Reiner
- Neue Suche nach: Huisman, Marieke
- Neue Suche nach: Reger, Giles
- Neue Suche nach: Lidström, Christian
2023
-
ISSN:
- Report / Elektronische Ressource
-
Titel:Principles of Contract Languages (Dagstuhl Seminar 22451)
-
Beteiligte:Gurov, Dilian ( Autor:in ) / Hähnle, Reiner ( Autor:in ) / Huisman, Marieke ( Autor:in ) / Reger, Giles ( Autor:in ) / Lidström, Christian ( Autor:in )
-
Erschienen in:Dagstuhl Reports (DagRep) ; 12, 11 ; 1-27
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:04.05.2023
-
Format / Umfang:27 pages , 2026804 byte
-
Anmerkungen:DagRep, Volume 12, Issue 11, pages 1-27
-
ISSN:
-
DOI:
-
Medientyp:Report
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle: