Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version)
Open access
Autor(in)
Datum
2021-05-10Typ
- Working Paper
ETH Bibliographie
yes
Altmetrics
Persistenter Link
https://doi.org/10.3929/ethz-b-000489727Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
arXivSeiten / Artikelnummer
Verlag
Cornell UniversityOrganisationseinheit
03653 - Müller, Peter / Müller, Peter
Zugehörige Publikationen und Daten
Is previous version of: http://hdl.handle.net/20.500.11850/588692
ETH Bibliographie
yes
Altmetrics