scientific article; zbMATH DE number 5173922
From MaRDI portal
Publication:5294156
zbMath1118.68436MaRDI QIDQ5294156
Richard Banach, Susan Stepney, M. Poppleton, C. Jeske
Publication date: 24 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Retrenchment for Event-B: UseCase-wise development and Rodin integration ⋮ Atomic actions, and their refinements to isolated protocols ⋮ Anti-heterotic Computing
This page was built for publication:
