Systematic mistake analysis of digital computer programs

DOI10.1145/366246.366248zbMath0109.35401OpenAlexW1984439778WikidataQ54260073 ScholiaQ54260073MaRDI QIDQ3847743

Joan C. Miller, C. J. Maloney

Publication date: 1963

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/366246.366248

zbMATH Keywords

numerical analysis

Related Items (1)

CompoSAT: specification-guided coverage for model finding

This page was built for publication: Systematic mistake analysis of digital computer programs