scientific article; zbMATH DE number 2163030
From MaRDI portal
Publication:4673417
zbMath1094.68015MaRDI QIDQ4673417
Sebastian Nanz, Gerwin Klein, M. Wildmoser, Tobias Nipkow
Publication date: 29 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Proof-carrying code from certified abstract interpretation and fixpoint compression ⋮ Certification Using the Mobius Base Logic
Uses Software
This page was built for publication:
