Published in collaboration with the British Computer Society.
Designing correct circuits : proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96), Båstad, Sweden, 2-4 September 1996. ISBN 3540761020. Published by Springer in 1996. Publication and catalogue information, links to buy online and reader comments.