ProVerB: Dataset of Tools and Formats for Program Verification

  • Sophie Apollonia Maria Lathouwers (Creator)
  • Vadim Zaytsev (Creator)

Dataset

  • 1 Conference contribution
Filter
Conference contribution

Search results

  • 2022

    Modelling Program Verification Tools for Software Engineers

    Lathouwers, S. & Zaytsev, V., 24 Oct 2022, MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: Association for Computing Machinery, p. 98–108 11 p.

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

    Open Access
    File
    4 Citations (Scopus)
    157 Downloads (Pure)