Database of Annotations for Deductive Verifiers

Sophie Apollonia Maria Lathouwers (Creator)
Marieke Huisman (Supervisor)

Dataset

1 Conference contribution

1 results

2022
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers
Lathouwers, S. & Huisman, M., 20 Jun 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. IEEE, p. 69-79 11 p. 9796417
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
4 Citations (Scopus)

97 Downloads (Pure)