Tracking design changes with formal verification (1994)

by P Curzon
Venue:International Workshop on Higher Order Logic Theorem Proving and its Applications, volume 859 of Lecture Notes in Computer Science