Comments on a paper by Neuhold and Studer

DOI10.1007/BF02243568MaRDI QIDQ598797zbMATH OpenFDO

Authors Sumit K. Garg

Publication date 1979

Published in Computing (Search for Journal in Brave)

zbMATH Keywords

Hoare's method of program verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Soundness and Completeness of an Axiom System for Program Verification
• The use of Hoare's method of program verification for the Quicksort algorithm

Describes a project that uses

Uses Software

• Quicksort

This page was built for publication: Comments on a paper by Neuhold and Studer

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