The pfort verifier

DOI10.1002/spe.4380040405zbMath0291.68008OpenAlexW2000562575MaRDI QIDQ4042642

Barbara G. Ryder

Publication date: 1974

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380040405

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Automatic integration over a sphere ⋮ On the structure of zero finders ⋮ Root isolation using function values ⋮ A composite heuristic for the identical parallel machine scheduling problem with minimum makespan objective