Erratum to: ``Predicative methodology

DOI10.1007/BF00299637zbMath0659.68017MaRDI QIDQ1112583

Lorene E. Gupta, Andrew J. Malton, Eric C. R. Hehner

Publication date: 1988

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

programmingsemantics of programslogic errors

Mathematics Subject Classification ID

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

This page was built for publication: Erratum to: ``Predicative methodology