Database of Annotations for Deductive Verifiers

Research output

Research output per year 2022 2022 2022

• 1 Conference contribution

Research output per year

Research output per year

Search 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

  • Annotation 100%
  • Formal Specification 100%
  • Taxonomy 100%
  • Classification 100%
  • Expectation 50%
  4 Citations (Scopus)

  97 Downloads (Pure)