scientific article
From MaRDI portal
Publication:3221966
zbMath0558.03011MaRDI QIDQ3221966
Richard L. Schwartz, Friedrich H. Vogt, P. Michael Melliar-Smith
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)