scientific article; zbMATH DE number 2086505
From MaRDI portal
Publication:4736986
zbMath1057.68571MaRDI QIDQ4736986
Gilles Barthe, Guillaume Dufay, Simão Melo de Sousa, Line Jakubiec
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2294/22940032.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Verified bytecode verifiers. ⋮ Operational semantics of the Java Card Virtual Machine ⋮ Verified bytecode verification and type-certifying compilation ⋮ Tool-assisted specification and verification of typed low-level languages
Uses Software
This page was built for publication:
