Amanote Research
Register
Sign In
Automatically Proving Program Termination
doi 10.1007/978-3-540-73368-3_1
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Byron Cook
Publisher
Springer Berlin Heidelberg
