scientific article; zbMATH DE number 3569797

MaRDI QIDQ4140356zbMATH OpenFDO

Authors F. Raymond

Publication date 1977

Full work available at URL https://eudml.org/doc/92041

Mathematics Subject Classification ID

Roundoff error (65G50) General topics in the theory of software (68N01)

Cites work

• Analysis of structured programs
• scientific article; zbMATH DE number 3456484 (Why is no real title available?)
• scientific article; zbMATH DE number 3471564 (Why is no real title available?)
• scientific article; zbMATH DE number 3564314 (Why is no real title available?)
• scientific article; zbMATH DE number 3413800 (Why is no real title available?)
• scientific article; zbMATH DE number 3421895 (Why is no real title available?)

Cited in

(1)

• Automatic verification of functional programs

This page was built for publication:

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