Scalable Techniques for Formal Verification
170.05
CAD
Book Details
Author(s)Ray, Sandip
PublisherSpringer
ISBN / ASIN1489984445
ISBN-139781489984449
MarketplaceCanada 🇨🇦
