scientific article
From MaRDI portal
Publication:3021903
zbMath1103.68798MaRDI QIDQ3021903
Bernhard Beckert, Elmar Habermalz, Reiner Hähnle, Steffen Schlager, Philipp Rümmer, Andreas Roth, Martin Giese
Publication date: 21 June 2005
Full work available at URL: https://eudml.org/doc/41034
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) Mechanization of proofs and logical operations (03B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software
