The Transformational Approach to Program Development

DOI10.1007/978-3-642-14309-0_6zbMath1285.68035OpenAlexW1497328860MaRDI QIDQ3578393

Maurizio Proietti, Alberto Pettorossi, Valerio Senni

Publication date: 20 July 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14309-0_6

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Correctness and Completeness of Logic Programs ⋮ On Completeness of Logic Programs

Uses Software

• ECCE

This page was built for publication: The Transformational Approach to Program Development