Comments on a paper by Neuhold and Studer

DOI10.1007/BF02243568zbMATH Open0413.68012MaRDI QIDQ598797FDOQ598797

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

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)