scientific article
From MaRDI portal
Publication:3343424
zbMath0551.68024MaRDI QIDQ3343424
M. R. Sadler, Paulo A. S. Veloso, Thomas S. E. Maibaum
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A language for configuring multi-level specifications, On methods for safe introduction of operations, On observational equivalence and algebraic specification, On pushout consistency, modularity and interpolation for logical specifications, On the Modularization Theorem for logical specifications, On local modularity variants and \(\Pi\)-institutions
