scientific article; zbMATH DE number 1956492

zbMath1032.68573MaRDI QIDQ4417836

Wojciech Mostowski, Bernhard Beckert

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2621/26210246.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A Dynamic Logic with Traces and Coinduction, A program logic for resources, Certification Using the Mobius Base Logic