7 results · clear filters Sort: newest oldest name

1. Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007
   2007 · Braga, Portugal
   Computer and information sciences
   e10wtef
2. Workshop on Compiler Optimization Meets Compiler Verification (COCV)
   series, 6 events, 2002 to 2007
   Computer and information sciences
   s121kvg
3. Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006
   2006 · Vienna, Austria
   Computer and information sciences
   e10wtdh
4. Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005
   2005 · Edinburgh, United Kingdom
   Computer and information sciences
   e10wtck
5. Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004
   2004 · Barcelona, Spain
   Computer and information sciences
   e120gzd
6. Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003
   2003 · Warsaw, Poland
   Computer and information sciences
   e10wtbn
7. Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002 (COCV)
   2002-01-01 · Grenoble, France
   Computer and information sciences
   e10wtaq

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