Formal Hardware Verification Methods: a Survey. Formal Methods (1992)

by A Gupta
Venue:in System Design