Structure and behaviour in hardware verification (0)

by K G W Goossens
Venue:Higher Order Logic Theorem Proving and its applications, 6th International Workshop, HUG ’93, Vancouver, B.C. Canada, number 780 in Lecture