Automated Deduction for Verification
ACM Computing Surveys - United States
doi 10.1145/1592434.1592437
Full Text
Open PDFAbstract
Available in full text
Date
October 1, 2009
Authors
Publisher
Association for Computing Machinery (ACM)
Available in full text
October 1, 2009
Association for Computing Machinery (ACM)