On the completeness of the inductive assertion method

The work

TitleOn the completeness of the inductive assertion method
AuthorsJacobus W. de Bakker; Lambert G. L. T. Meertens
Typearticle
Year1975
Citekeybakker1975completeness

Where it appeared

Published inJournal of Computer and System Sciences
Volume11
Issue3
Pages323--357

Identifiers

DOI10.1016/s0022-0000(75)80056-0

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: Journal of Computer and System Sciences venue

Cite it as

@article{bakker1975completeness,
  title = {On the completeness of the inductive assertion method},
  author = {Jacobus W. de Bakker and Lambert G. L. T. Meertens},
  year = {1975},
  journal = {Journal of Computer and System Sciences},
  volume = {11},
  number = {3},
  pages = {323--357},
  doi = {10.1016/s0022-0000(75)80056-0},
}

This record lives at https://refs.drheap.org/bakker1975completeness/ and will keep doing so.