Special benchmark session on formal system design (1989)

by H De Man D Verkest, L Claesen
Venue:In Proceedings of the IMEC-IFIP Workshop on Applied Formal Methods for Correct VLSI Design, Leuven