Publication:4736387
From MaRDI portal
zbMath1054.68133MaRDI QIDQ4736387
Tobias Nipkow, Stefan Berghofer
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2277/22770024.htm
Related Items
Two case studies of semantics execution in Maude: CCS and LOTOS, Proof synthesis and reflection for linear arithmetic, Verified bytecode verifiers., Verified bytecode verification and type-certifying compilation, Code-carrying theories, The Isabelle Framework
Uses Software