11 results · clear filters Sort: newest oldest name

1. International Conference on Computer Aided Verification (CAV)
   series, 40 events, 1989 to 2026
   MathematicsComputer and information sciences
   s109b7k
2. Computer Aided Verification (CAV 2009, CAV)
   2009-06-26 to 2009-07-02 · Grenoble, France
   Computer and information sciences
   e1019eq
3. Computer Aided Verification (CAV 2008, CAV)
   2008-07-07/14 · Princeton University, United States
   Computer and information sciences
   e1019ds
4. Computer Aided Verification (CAV 2007, CAV)
   2007-07-03/07 · Berlin, Germany
   Computer and information sciences
   e1019cv
5. Computer Aided Verification (CAV 2006, CAV)
   2006-08-17/20 · Seattle, United States
   Computer and information sciences
   e1019bx
6. Computer Aided Verification (CAV 2005, CAV)
   2005-07-06/10 · Edinburgh, United Kingdom
   Computer and information sciences
   e1019az
7. Computer Aided Verification (CAV 2004, CAV)
   2004-07-13/17 · Boston, United States
   Computer and information sciences
   e101991
8. Computer Aided Verification (CAV 2003, CAV)
   2003-07-08/12 · Boulder, United States
   Computer and information sciences
   e101983
9. Computer Aided Verification (CAV 2002, CAV)
   2002-07-27/31 · Copenhagen, Denmark
   Computer and information sciences
   e101975
10. Computer Aided Verification (CAV 2001, CAV)
    2001-07-18/22 · Paris, France
    Computer and information sciences
    e101967
11. Computer Aided Verification (CAV 2000, CAV)
    2000-07-15/19 · Chicago, United States
    Computer and information sciences
    e101959

As JSON: https://labs.confref.org/api/search?series=s109b7k&from=2000&to=2009