7 results · clear filters Sort: newest oldest name

1. Verified Software. Theories, Tools and Experiments - 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
   2025 · Menlo Park, United States
   Computer and information sciences
   e11ykvp
2. International Conference on Verified Software: Tools, Theories, Experiments (VSTTE)
   series, 17 events, 2005 to 2025
   Computer and information sciences
   s10ar4a
3. Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
   2024 · Prague, Czech Republic
   Computer and information sciences
   e11yktr
4. Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
   2023 · Ames, United States
   Computer and information sciences
   e11ykst
5. Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
   2022 · Trento, Italy
   Computer and information sciences
   e11ykrw
6. Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
   2021 · Los Angeles, United States
   Computer and information sciences
   e11ykqy
7. Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers
   2020 · Los Angeles, United States
   Computer and information sciences
   e11ykp0

As JSON: https://labs.confref.org/api/search?series=s10ar4a&from=2020&to=2029