14 results · clear filters Sort: newest oldest name

1. Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
   2025 · Denver, United States
   Computer and information sciences
   e11ydwt
2. Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
   2023 · Boston, United States
   Computer and information sciences
   e11ydty
3. Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
   2022 · Philadelphia, United States
   Computer and information sciences
   e11yds0
4. Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings (VMCAI 2020)
   2020-01-16/21 · New Orleans, United States
   Computer and information sciences
   e10h7by
5. Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (VMCAI)
   2018-01-07/09 · Los Angeles, United States
   Computer and information sciences
   e11ydp6
6. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016, VMCAI)
   2016-01-17/19 · St. Petersburg, United States
   Computer and information sciences
   e108n0s
7. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014, VMCAI)
   2014-01-19/21 · San Diego, United States
   Computer and information sciences
   e108myx
8. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012, VMCAI)
   2012-01-22/24 · Philadelphia, United States
   Computer and information sciences
   e108mw1
9. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
   2011-01-23/25 · Austin, United States
   Computer and information sciences
   e108mv3
10. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2009-01-18/20 · Savannah, United States
    Computer and information sciences
    e108ms7
11. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2008, VMCAI)
    2008-01-07/09 · San Francisco, United States
    Computer and information sciences
    e108mr9
12. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006, VMCAI)
    2006-01-08/10 · Charleston, United States
    Computer and information sciences
    e108mpd
13. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2003-01-09/11 · New York City, United States
    Computer and information sciences
    e108mkk
14. Verification, Model Checking and Abstract Interpretation (VMCAI) (VMCAI)
    1997-01-01 · Port Jefferson, United States
    Computer and information sciences
    e12p95w

As JSON: https://labs.confref.org/api/search?field=1&series=s10ar0j&country=US