Higher order logic and hardware verification,” in Cambridge Tractsin Theoretical (1993)

by T Melham
Venue:Computer Science