A debate on teaching computing science
Communications of the ACM
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Implementing functional languages
Implementing functional languages
The Z notation: a reference manual
The Z notation: a reference manual
Programming languages in the computer science curriculum
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Formalizing and implementing Gries' program development method in dynamic logic
Science of Computer Programming
An axiomatic basis for computer programming
Communications of the ACM
The Science of Programming
A Discipline of Programming
A Method of Programming
Rigorous proofs of program correctness without formal logic
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
An experience teaching formal methods in discrete mathematics
ACM SIGCSE Bulletin
An undergraduate course in formal methods: “description is our business”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
| Hi-index | 0.00 |