Proc. 5th Int. Workshop on Designing Correct Circuits, a satellite event of ETAPS 2004
Edited book, 2004
Editor
Mary Sheeran
Chalmers, Department of Computing Science, Formal Methods
T. Melham
Subject Categories (SSIF 2011)
Computer and Information Science