Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. Lathouwers, S. & Huisman, M. In of FormaliSE '22, pages 69–79, New York, NY, USA, 2022. Association for Computing Machinery.
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers [link]Paper  doi  bibtex   
@inproceedings{Lathouwers2022,
author = {Lathouwers, Sophie and Huisman, Marieke},
title = {Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers},
year = {2022},
isbn = {9781450392877},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3524482.3527652},
doi = {10.1145/3524482.3527652},
pages = {69–79},
numpages = {11},
keywords = {annotations, taxonomy, specifications, deductive verification, auto-active verification},
location = {Pittsburgh, Pennsylvania},
series = {FormaliSE '22}
}

Downloads: 0