university website Publications by Year
  • sign in
  • Journal of Computer and System Sciences /
  • Article
  • Search

J.W. de Bakker (Jaco) and L.G.L.T. Meertens (Lambert)

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
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
de Bakker, J., & Meertens, L. (1975). On the completeness of the inductive assertion method. Journal of Computer and System Sciences, 11(3), 323–357.
Free Full Text ( Final Version , 1mb ) cover

See Also
techReport
On the completeness of the inductive assertion method : (prepublication)
J.W. de Bakker (Jaco) and L.G.L.T. Meertens (Lambert)
techReport
On the completeness of the inductive assertion method : (prepublication)
J.W. de Bakker (Jaco) and L.G.L.T. Meertens (Lambert)
techReport
On the completeness of the inductive assertion method : (prepublication)
J.W. de Bakker (Jaco) and L.G.L.T. Meertens (Lambert)
techReport
On the completeness of the inductive assertion method : (prepublication)
J.W. de Bakker (Jaco) and L.G.L.T. Meertens (Lambert)

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close