scientific article
From MaRDI portal
Publication:2769440
zbMath0978.68512MaRDI QIDQ2769440
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300347
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Verified bytecode verifiers. ⋮ Verified bytecode verification and type-certifying compilation ⋮ Tool-assisted specification and verification of typed low-level languages ⋮ Introduction to ``Milestones in interactive theorem proving ⋮ Mechanising a type-safe model of multithreaded Java with a verified compiler
Uses Software
