scientific article; zbMATH DE number 1331926
From MaRDI portal
Publication:4261731
zbMath1041.00501MaRDI QIDQ4261731
Publication date: 30 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Specification and refinement of mobile systems in MTLA and mobile UML ⋮ An approach to literate and structured formal developments ⋮ Equivalence is in the eye of the beholder ⋮ Program derivation with verified transformations — a case study ⋮ A fast, scalable mutual exclusion algorithm ⋮ How to write a 21\(^{\text{st}}\) century proof ⋮ A complete equational axiomatization for MPA with string iteration ⋮ Pragmatic Formal Specification of System Properties by Tables
This page was built for publication:
