editors. Higher Order Logic Theorem (0)

by E Thomas Schubert, Phillip J Windley, James Alves-Foss
Venue:Proving and Its Applications: Proceedings of the 8th International Workshop, volume 971 of Lecture Notes in Computer Science
Add To MetaCart
Results 1 - 1 of 1

Program Derivation Using the Refinement Calculator

by Michael Butler, Thomas Långbacka - Theorem Proving in Higher Order Logics: 9th International Conference, volume 1125 of Lecture Notes in Computer Science , 1996
"... . The refinement calculus provides a theory for the stepwise refinement ..."
Abstract - Cited by 6 (3 self) - Add to MetaCart
. The refinement calculus provides a theory for the stepwise refinement