Fundamental Approaches to Software Engineering
From MaRDI portal
Publication:5428882
DOI10.1007/b95935zbMath1129.68446OpenAlexW2494184210WikidataQ59393629 ScholiaQ59393629MaRDI QIDQ5428882
Guillaume Dufay, Gilles Barthe
Publication date: 28 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95935
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Certified Static Analysis by Abstract Interpretation ⋮ Tool-assisted specification and verification of typed low-level languages ⋮ Security types preserving compilation ⋮ Formalizing non-interference for a simple bytecode language in Coq ⋮ Building Certified Static Analysers by Modular Construction of Well-founded Lattices
Uses Software
This page was built for publication: Fundamental Approaches to Software Engineering
