Title: Axiomatising the logic of computer programming
First published: 1982
Subjects: Proof theory, Semantics, Programming languages (Electronic computers), Théorie démonstration, Théorie commande, Méthodologie programmation, Preuve, Théorie de la, Langages de programmation, Programmation en logique, Axiomatisation, Logique mathématique, Sémantique
LC classification: QA76.7 .G65 1982