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., & Meertens, L. (1975). On the completeness of the inductive assertion method. Journal of Computer and System Sciences, 11(3), 323–357. |
See Also |
---|