@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}
}

{"_id":"48rqB6gCHEqmhWhdr","bibbaseid":"lathouwers-huisman-formalspecificationsinvestigatedaclassificationandanalysisofannotationsfordeductiveverifiers-2022","author_short":["Lathouwers, S.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Lathouwers"],"firstnames":["Sophie"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]}],"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","bibtex":"@inproceedings{Lathouwers2022,\nauthor = {Lathouwers, Sophie and Huisman, Marieke},\ntitle = {Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers},\nyear = {2022},\nisbn = {9781450392877},\npublisher = {Association for Computing Machinery},\naddress = {New York, NY, USA},\nurl = {https://doi.org/10.1145/3524482.3527652},\ndoi = {10.1145/3524482.3527652},\npages = {69–79},\nnumpages = {11},\nkeywords = {annotations, taxonomy, specifications, deductive verification, auto-active verification},\nlocation = {Pittsburgh, Pennsylvania},\nseries = {FormaliSE '22}\n}\n\n","author_short":["Lathouwers, S.","Huisman, M."],"key":"Lathouwers2022","id":"Lathouwers2022","bibbaseid":"lathouwers-huisman-formalspecificationsinvestigatedaclassificationandanalysisofannotationsfordeductiveverifiers-2022","role":"author","urls":{"Paper":"https://doi.org/10.1145/3524482.3527652"},"keyword":["annotations","taxonomy","specifications","deductive verification","auto-active verification"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["cCvCnPTRQYq3qPe9y"],"keywords":["annotations","taxonomy","specifications","deductive verification","auto-active verification"],"search_terms":["formal","specifications","investigated","classification","analysis","annotations","deductive","verifiers","lathouwers","huisman"],"title":"Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers","year":2022,"downloads":3}