Tracking Design Changes with Formal Verification (1994)

Cached

Download Links

by Paul Curzon
Venue:International Workshop on Higher Order Logic Theorem Proving and its Applications, volume 859 of Lecture Notes in Computer Science
Citations:4 - 2 self