An inconsistency in procedures, parameters, and substitution in the refinement calculus

DOI10.1016/S0167-6423(97)00015-4zbMath0942.68014MaRDI QIDQ1818306

Ana Cavalcanti, Augusto Sampaio, J. C. P. Woodcock

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

refinement calculusformal methodsprogram development

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Using CafeOBJ to Mechanise Refactoring Proofs and Application

This page was built for publication: An inconsistency in procedures, parameters, and substitution in the refinement calculus