scientific article; zbMATH DE number 2015290
From MaRDI portal
Publication:4438121
zbMath1032.03030MaRDI QIDQ4438121
Fernando Náufel do Amaral, Edward Hermann Haeusler
Publication date: 9 December 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
