scientific article; zbMATH DE number 1796120

zbMath0991.68508MaRDI QIDQ4551130

Yves Bertot

Publication date: 4 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Verified bytecode verifiers. ⋮ Extracting a data flow analyser in constructive logic

Uses Software

• Coq
• PVS

This page was built for publication: