Publication:5294156
From MaRDI portal
zbMath1118.68436MaRDI QIDQ5294156
Richard Banach, Susan Stepney, M. Poppleton, C. Jeske
Publication date: 24 July 2007
68N99: Theory of software
Related Items
Anti-heterotic Computing, Retrenchment for Event-B: UseCase-wise development and Rodin integration, Atomic actions, and their refinements to isolated protocols