Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers

Sophie Lathouwers, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

67 Downloads (Pure)

1 results
- Title
- Start date(ascending)

Database of Annotations for Deductive Verifiers
Lathouwers, S. A. M. (Creator) & Huisman, M. (Supervisor), 4TU.Centre for Research Data, 22 Mar 2022
DOI: 10.4121/16545714.v1, https://data.4tu.nl/articles/_/16545714 and one more link, https://data.4tu.nl/articles/_/16545714/1 (show fewer)
Dataset