Research output per year
Research output per year
Description
This dataset was set up as part of our research titled "Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers".
It contains a large set of annotations that were classified according to our taxonomy. We also include the information we used to calculate the confidence intervals that are reported in the paper in Section 4.
It contains a large set of annotations that were classified according to our taxonomy. We also include the information we used to calculate the confidence intervals that are reported in the paper in Section 4.
| Date made available | 22 Mar 2022 |
|---|---|
| Publisher | 4TU.Centre for Research Data |
Research output
- 1 Conference contribution
-
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. 9796417Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Citations (Scopus)54 Downloads (Pure)