scientific article; zbMATH DE number 2087440

zbMath1077.68609MaRDI QIDQ4738235

Till Mossakowski

Publication date: 11 August 2004

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Heterogeneous Logical Environments for Distributed Specifications, On an essentially algebraic theory for locally presentable categories, Change Management for Heterogeneous Development Graphs

Uses Software

• CoFI
• CASL