Advanced Formal Verification
Publisher: Springer
Published: Dec 07, 2010
Format: paperback
Number of pages: 276
ISBN-13: 9781441954206