Program construction and verification
Program construction and verification
The C programming language
Writing solid code: Microsoft's techniques for developing bug-free programs
Writing solid code: Microsoft's techniques for developing bug-free programs
An axiomatic basis for computer programming
Communications of the ACM
Object-Oriented Software Construction
Object-Oriented Software Construction
Data centric highly parallel debugging
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Hi-index | 0.00 |