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)

Full work available at URL https://doi.org/10.1007/BF02243568

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)