SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Social processes and proofs of theorems and programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Software Specification: A Comparison of Formal Methods
Software Specification: A Comparison of Formal Methods
Hi-index | 0.00 |