Programming and Proving [chapter]

Tobias Nipkow, Gerwin Klein
2014 Concrete Semantics  
doi:10.1007/978-3-319-10542-0_6 fatcat:3grttoue4req5oaphdj6qv4t2q