Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version)
Open access
Author
Date
2021-05-10Type
- Working Paper
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000489727Publication status
publishedExternal links
Journal / series
arXivPages / Article No.
Publisher
Cornell UniversityOrganisational unit
03653 - Müller, Peter / Müller, Peter
Related publications and datasets
Is previous version of: http://hdl.handle.net/20.500.11850/588692
More
Show all metadata
ETH Bibliography
yes
Altmetrics