Search Results - International Conference on Verified Software: Theories, Tools, and Experiments Trient

  • Showing 1 – 1 results of 1
Filter by
  1. 1
    Cover Image

    Verified software: theories, tools and experiments : 14th international conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, revised selected papers

    Published 2023
    “…International Conference on Verified Software: Theories, Tools, and Experiments Trient…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:

Search Tools: