scientific article; zbMATH DE number 2084328

MaRDI QIDQ3043800zbMATH OpenFDO

Authors Thomas Baar, Bernhard Beckert, Peter H. Schmitt

Publication date 6 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• Dynamic Logic with Non-rigid Functions
• Concurrent dynamic logic
• scientific article; zbMATH DE number 4128794
• scientific article; zbMATH DE number 1556014
• PDL with data constants

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043800)