Introduction to logic programming
Introduction to logic programming
Functional programs as executable specifications
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Logic for computer science: foundations of automatic theorem proving
Logic for computer science: foundations of automatic theorem proving
Functional programming, formal specification, and rapid prototyping
IEEE Transactions on Software Engineering
Logic for problem-solving
Systematic software development using VDM
Systematic software development using VDM
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Readings in artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
A deductive approach to program synthesis
Readings in artificial intelligence and software engineering
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
VDM development with Ada as the target language
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Communications of the ACM
Selected writings on computing: a personal perspective
Selected writings on computing: a personal perspective
Systematic Programming: An Introduction
Systematic Programming: An Introduction
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
The Specification of Complex Systems
The Specification of Complex Systems
Executable requirements for embedded systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Hi-index | 0.00 |