An experiment in automatic verification of programs

DOI10.1145/367651.367660MaRDI QIDQ5726046zbMATH OpenOpenAlexWikidataFDO

Authors Gerald Weinberg, G. L. Gressett

Publication date 1963

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

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

zbMATH Keywords

numerical analysis

Cited in

(1)

• Investigation of jet-flame blowout with lean-limit considerations

This page was built for publication: An experiment in automatic verification of programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5726046)