Data Refinement
From MaRDI portal
Publication:5302139
DOI10.1017/CBO9780511663079zbMath1152.68031OpenAlexW4254136620MaRDI QIDQ5302139
Kai Engelhardt, Willem Paul de Roever
Publication date: 6 January 2009
Full work available at URL: https://doi.org/10.1017/cbo9780511663079
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (4)
A Proof-Based Method for Modelling Timed Systems ⋮ General Refinement, Part One: Interfaces, Determinism and Special Refinement ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Flashix: modular verification of a concurrent and crash-safe flash file system
Uses Software
This page was built for publication: Data Refinement
