Strongly-Typed Theory of Structures and Behaviours (1993)

by K Hanna, N Daeche
Venue:Correct Hardware Design and Verification Methods, Lecture Notes In Computer Science