scientific article
From MaRDI portal
Publication:2844820
zbMath1270.68178MaRDI QIDQ2844820
Susan Stepney, Ian Toyn, Fiona Polack
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105804852
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Consistency-preserving refactoring of refinement structures in Event-B models ⋮ Towards Formal Proof Script Refactoring
This page was built for publication: