A Roadmap for Formal Property Verification
Publisher: Dasgupta Pallab; Springer
Published: Nov 19, 2010
Format: paperback
Number of pages: 268
ISBN-13: 9789048171859