Necessary and Sufficient Preconditions via Eager Abstraction

DOI10.1007/978-3-319-12736-1_13zbMath1453.68056OpenAlexW1931348537MaRDI QIDQ2789048

Peter Schrammel, Mohamed Nassim Seghir

Publication date: 26 February 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/19313689/Seghir_Schrammel_2014_Necessary_and_Sufficient_Preconditions_via_Eager_Abstraction.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Transformation-Enabled Precondition Inference

This page was built for publication: Necessary and Sufficient Preconditions via Eager Abstraction