Program construction and verification
Program construction and verification
The foundations of program verification (2nd ed.)
The foundations of program verification (2nd ed.)
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Principles of information systems analysis and design
Principles of information systems analysis and design
Program correctness over abstract data types, with error-state semantics
Program correctness over abstract data types, with error-state semantics
The Z notation: a reference manual
The Z notation: a reference manual
An introduction to discrete mathematics and formal system specification
An introduction to discrete mathematics and formal system specification
Predicate calculus and program semantics
Predicate calculus and program semantics
Software engineering mathematics
Software engineering mathematics
Programming in the 1990s: an introduction to the calculation of programs
Programming in the 1990s: an introduction to the calculation of programs
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Programming: the derivation of algorithms
Programming: the derivation of algorithms
Handbook of theoretical computer science (vol. B)
The cleanroom approach to quality software development
The cleanroom approach to quality software development
The rudiments of algorithm refinement
The Computer Journal - Special issue on formal methods: part 1
The role of data reification in program refinement: origins, synthesis and appraisal
The Computer Journal - Special issue on formal methods: part 1
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic basis for computer programming
Communications of the ACM
The Science of Programming
The Craft of Programming
First-Order Dynamic Logic
A Discipline of Programming
Algebraic Specification Techniques in Object Oriented Programming Environments
Algebraic Specification Techniques in Object Oriented Programming Environments
A Method of Programming
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Transformations of FP program schemes
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
| Hi-index | 0.00 |