CAV: Computer Aided Verification

Published by: Springer  

Groups

  1. Henzinger Group (2)
  2. PhD Students (1)
Search Within

Results (2)

CAV: Computer Aided Verification – authorized name for:

Name ISSN/ISBN Publisher
CAV: Computer Aided Verification 03029743 (ISSN); 9783319961446 (ISBN) Springer