Vulnerability modelling with functional programming and dependent types

Ionescu, C.

doi:10.1017/S0960129514000139

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

Vulnerability modelling with functional programming and dependent types

Urheber*innen

Ionescu, C.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PuRe verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Ionescu, C. (2016): Vulnerability modelling with functional programming and dependent types. - Mathematical Structures in Computer Science, 26, 1, 114-128.
https://doi.org/10.1017/S0960129514000139

Zitierlink: https://publications.pik-potsdam.de/pubman/item/item_21505

Zusammenfassung

Es ist keine Zusammenfassung verfügbar