Vulnerability modelling with functional programming and dependent types

Ionescu, C.

doi:10.1017/S0960129514000139

???ViewItemPage???

???ViewItemFull_lblItemActions??????List_lblExportOptions???

???ViewItemFull_lblSubHeaderLocalTags??????ViewItemFull_btnItemVersions??????ViewItemFull_btnItemView??????ViewItemOverview_lblLinkOverviewPage???

???ENUM_STATE_RELEASED???

???ENUM_GENRE_ARTICLE???

Vulnerability modelling with functional programming and dependent types

???ViewItemOverview_lblSpecificAuthorsSection???

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

???ViewItemOverview_lblExternalResourceSection???

???ViewItemOverview_noExternalResourcesAvailable???

???ViewItemOverview_lblRestrictedFulltextSection???

???ViewItemOverview_noRestrictedFullTextsAvailable???

???ViewItemOverview_lblFulltextSection???

???ViewItemOverview_noFullTextsAvailable???

???ViewItemOverview_lblSupplementaryMaterialSection???

???ViewItemOverview_noSupplementaryMaterialAvailable???

???ViewItemOverview_lblCitationSection???

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

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

???ViewItemOverview_lblAbstractSection???

???ViewItemOverview_noAbstractAvailable???