1975
5 references published this year.
On the completeness of the inductive assertion method
Jacobus W. de Bakker et al. (1975) · Journal of Computer and System Sciences
Intuitionism and formalism
Luitzen Egbertus Jan Brouwer (1975) · Philosophy and Foundations of Mathematics
A complete axiomatic system for proving assertions about recursive and non-recursive programs
Gerald Arthur Gorelick (1975)
Proving assertions about programs that manipulate data structures
Derek C. Oppen et al. (1975) · 7th ACM Symposium on Theory of Computing
The protection of information in computer systems
Jerome H. Saltzer et al. (1975) · Proceedings of the IEEE