HCVS: Horn Clauses for Verification and Synthesis

Published by: Open Publishing  

People

Groups

  1. Henzinger Group (1)
Search Within
Refine Results
Years
  1. 2014 (1)
Affiliation
  1. IST Austria (1)
Open access
  1. no (1)
Peer reviewed
  1. yes (1)
Invited
  1. no (1)

Results (1)

HCVS: Horn Clauses for Verification and Synthesis – authorized name for:

Name ISSN/ISBN Publisher
HCVS: Horn Clauses for Verification and Synthesis 20752180 Open Publishing