Gradual program verification
Johannes Bader, Jonathan Aldrich, Éric Tanter[ISBN] [Google Scholar] [DBLP] [Citeseer]
Verification, Model Checking, and Abstract Interpretation
Springer International Publishing
Cham
Pages 25-46
2018
Springer International Publishing
Cham
Pages 25-46
2018