Mechanizing Programming Logics in Higher Order Logic
doi 10.1007/978-1-4612-3658-0_10
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1989
Authors
Publisher
Springer New York
Available in full text
January 1, 1989
Springer New York