Amanote Research
Register
Sign In
Well-Founded Functions and Extreme Predicates in Dafny: A Tutorial
doi 10.29007/v2m3
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Rustan Leino
Publisher
EasyChair