Principles of functional programming
Principles of functional programming
The foundations of program verification
The foundations of program verification
Program construction and verification
Program construction and verification
Ada as a second language
Temporal logic of programs
Program verification: the very idea
Communications of the ACM
Communications of the ACM
Social processes and proofs of theorems and programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Object-Oriented Software Construction
Object-Oriented Software Construction
Program Verification Using ADA
Program Verification Using ADA
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Principles of Programming Languages
Principles of Programming Languages
Hi-index | 0.00 |