scientific article; zbMATH DE number 1487496
From MaRDI portal
Publication:4493905
zbMath0953.68081MaRDI QIDQ4493905
Ana Cavalcanti, David A. Naumann
Publication date: 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
rCOS: a refinement calculus of object systems ⋮ Sound refactorings ⋮ Refinement and verification in component-based model-driven design ⋮ Graph transformations for object-oriented refinement ⋮ Using CafeOBJ to Mechanise Refactoring Proofs and Application ⋮ Soundness of data refinement for a higher-order imperative language
This page was built for publication:
