scientific article
From MaRDI portal
Publication:3678664
zbMath0564.68025MaRDI QIDQ3678664
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (2)
Higher-level synchronising devices in Meije-SCCS ⋮ Some general incompleteness results for partial correctness logics
This page was built for publication:
