*Result*: Bounded Program Verification Using an SMT Solver: A Case Study
Title:
Bounded Program Verification Using an SMT Solver: A Case Study
Authors:
Source:
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on. :101-110 Apr, 2012
Relation:
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)
Database:
IEEE Xplore Digital Library