Computer Aided Verification
Publisher: Saint Philip Street Press
Published: Oct 08, 2020
Format: hardcover
Number of pages: 558
ISBN-13: 9781013271151