1975-12-01
On the completeness of the inductive assertion method
Publication
Publication
Journal of Computer and System Sciences , Volume 11 - Issue 3 p. 323- 357
Additional Metadata | |
---|---|
Elsevier | |
Journal of Computer and System Sciences | |
de Bakker, J.W, & Meertens, L.G.L.T. (1975). On the completeness of the inductive assertion method. Journal of Computer and System Sciences , 11(3), 323–357.
|