Publication:4673417
From MaRDI portal
zbMath1094.68015MaRDI QIDQ4673417
Sebastian Nanz, Gerwin Klein, M. Wildmoser, Tobias Nipkow
Publication date: 29 April 2005
68N15: Theory of programming languages
68N20: Theory of compilers and interpreters
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Proof-carrying code from certified abstract interpretation and fixpoint compression, Certification Using the Mobius Base Logic
Uses Software