[ETAPS 2002 Logo]
Designing Correct Circuits 2002

6-7 April 2002, Grenoble

A satellite event of the ETAPS 2002 group of conferences

Proceedings

A printed proceedings, containing abstracts and (where available) advance copies of presentation slides was provided for participants at the workshop. Here is a BiBTeX enty for the proceedings: 
    @proceedings{DCC02,
         EDITOR    = {M. Sheeran and T. Melham},
         TITLE     = {Designing Correct Circuits ({DCC}'02)},
         BOOKTITLE = {Designing Correct Circuits ({DCC}'02)},
         PUBLISHER = {ETAPS 2002},
         LOCATION  = {Grenoble},
         NOTE      = {Proceedings of the Workshop on 
                      Designing Correct Circuits, held on 6--7 April 2002 
                      in Grenoble, France},
         YEAR      = {2002}}

Many participants have also made their presentations available online at http://www.cs.chalmers.se/~ms/DCC02/Slides.html.

[Navigation Button] DCC 2002 Home.

Last modified Tue Jun 11 10:15:36 BST 2002.