18 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
8. Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers (VSTTE 2019)
   2019-07-13/14 · New York City, United States
   Computer and information sciences
   e10hw0z
9. Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (VSTTE 2018, VSTTE)
   2018-07-18/19 · Oxford, United Kingdom
   Computer and information sciences
   e10eyns
10. Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (VSTTE)
    2017-07-22/23 · Heidelberg, Germany
    Computer and information sciences
    e11ykn2
11. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016, VSTTE)
    2016-07-17/18 · Toronto, Canada
    Computer and information sciences
    e108nr8
12. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2015, VSTTE)
    2015-07-18/19 · San Francisco, United States
    Computer and information sciences
    e108nqa
13. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)
    2014-07-17/18 · Vienna, Austria
    Computer and information sciences
    e108npc
14. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2013, VSTTE)
    2013-05-17/19 · Menlo Park, United States
    Computer and information sciences
    e108nne
15. International Conference on Verified Software: Tools, Theories, Experiments (VSTTE 2012, VSTTE)
    2012-01-28/29 · Philadelphia, United States
    Computer and information sciences
    e108nmg
16. International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2010, VSTTE)
    2010-08-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e108nkj
17. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2008, VSTTE)
    2008-10-06/09 · Toronto, Canada
    Computer and information sciences
    e108njm
18. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2005, VSTTE)
    2005-10-10/13 · Zurich, Switzerland
    Computer and information sciences
    e108nhp

As JSON: https://labs.confref.org/api/search?series=s10ar4a