RDV: Rule-based Generalized Design Verifier
by
S Ghosh
Paperback
details (
United Kingdom
).
ISBN: 978-0-273-08772-4
ISBN-10: 0-273-08772-X
Pitman
· 1988