A logic for schema-based program development

DOI10.1007/S00165-003-0004-7zbMath1093.68604OpenAlexW2008639791WikidataQ59651715 ScholiaQ59651715MaRDI QIDQ706506

Steve Reeves, Martin C. Henson

Publication date: 8 February 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/10289/65

zbMATH Keywords

ZRefinementProgram development

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

An analysis of refinement in an abortive paradigm

This page was built for publication: A logic for schema-based program development