J. W. de Bakker, Lambert G. L. T. Meertens. On the Completeness of the Inductive Assertion Method. J. Comput. Syst. Sci., 11(3):323-357, 1975.
@article{BakkerM75,
title = {On the Completeness of the Inductive Assertion Method},
author = {J. W. de Bakker and Lambert G. L. T. Meertens},
year = {1975},
tags = {completeness},
researchr = {https://researchr.org/publication/BakkerM75},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {11},
number = {3},
pages = {323-357},
}