BibTex format
@misc{Drossopoulou:2020,
author = {Drossopoulou, S and Noble, J and Mackay, J and Eisenbach, S},
title = {Holisitic specifications for robust programs - Coq model},
type = {Software},
year = {2020}
}
Publications
Citation
RIS format (EndNote, RefMan)
TY - GEN
AB - A Coq formalism of the core of the Chainmail specification language, along with an underlying language, Loo.This Coq formalism has been developed as part of the associated paper: Holistic Specifications for Robust Programs (https://arxiv.org/abs/2002.08334), to be published at FASE 2020
AU - Drossopoulou,S
AU - Noble,J
AU - Mackay,J
AU - Eisenbach,S
PY - 2020///
TI - Holisitic specifications for robust programs - Coq model
ER -