Jifeng He , Geoffrey Brown , Wayne Luk , John O’Leary
September 1996
Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96) (DCC)
Designing Correct Circuits
2 - 4 September 1996
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/