scientific article
zbMath1252.68028MaRDI QIDQ3166530
Publication date: 12 October 2012
Full work available at URL: http://edoc.ub.uni-muenchen.de/14030/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functionals in proof theory (03F10) Complexity of proofs (03F20)
Related Items (1)
This page was built for publication:
