Designing Correct Circuits (DCC'02)
Book Title
Designing Correct Circuits (DCC'02)
Editor
Mary Sheeran and Tom Melham
Month
April
Note
Proceedings of the Workshop on Designing Correct Circuits held during 6–7 April 2002 in Grenoble‚ France
Publisher
ETAPS 2002
Year
2002