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 | |
---|---|
Publisher | Elsevier |
Journal | Journal of Computer and System Sciences |
Citation |
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.
|