Advanced Formal Verification

Drechsler

by Rolf Drechsler

Hardcover

ISBN: 978-1-4020-7721-0

ISBN-10: 1-4020-7721-1

Springer · 2004