scientific article; zbMATH DE number 1765704

zbMath0988.03051MaRDI QIDQ4539645

Steffen Schlager, Bernhard Beckert

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830626

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A Dynamic Logic with Traces and Coinduction, A deductive approach towards reasoning about algebraic transition systems, A dynamic logic with branching modalities, A system for compositional verification of asynchronous objects, High-Level Programs and Program Conditions