13 results · clear filters Sort: newest oldest name

1. International Conference on Computer Aided Verification (CAV)
   2019-07-15/18 · New York City, United States
   Computer and information sciences
   e12j269
2. Computer Aided Verification (CAV) (CAV)
   2019-07-13/18 · New York City, United States
   Computer and information sciences
   e12j277
3. Computer Aided Verification (CAV 2015, CAV)
   2015-07-18/24 · San Francisco, United States
   Computer and information sciences
   e1019ma
4. Computer Aided Verification (CAV 2012, CAV)
   2012-07-07/13 · Berkeley, United States
   Computer and information sciences
   e1019hg
5. Computer Aided Verification (CAV 2011, CAV)
   2011-07-14/20 · Cliff Lodge, United States
   Computer and information sciences
   e1019gj
6. Computer Aided Verification (CAV 2008, CAV)
   2008-07-07/14 · Princeton University, United States
   Computer and information sciences
   e1019ds
7. Computer Aided Verification (CAV 2006, CAV)
   2006-08-17/20 · Seattle, United States
   Computer and information sciences
   e1019bx
8. Computer Aided Verification (CAV 2004, CAV)
   2004-07-13/17 · Boston, United States
   Computer and information sciences
   e101991
9. Computer Aided Verification (CAV 2003, CAV)
   2003-07-08/12 · Boulder, United States
   Computer and information sciences
   e101983
10. Computer Aided Verification (CAV 2000, CAV)
    2000-07-15/19 · Chicago, United States
    Computer and information sciences
    e101959
11. Computer Aided Verification (CAV 1996, CAV)
    1996-07-31 to 1996-08-03 · New Brunswick, United States
    Computer and information sciences
    e10191h
12. Computer Aided Verification (CAV 1994, CAV)
    1994-06-21/23 · Stanford University, United States
    Computer and information sciences
    e1018zn
13. Computer Aided Verification (CAV 1990, CAV)
    1990-06-18/21 · New Brunswick, United States
    Computer and information sciences
    e1018vx

As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s109b7k&country=US