Pages that link to "Item:Q5428882"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5428882):
Displaying 5 items.
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- Security types preserving compilation (Q865705) (← links)
- Formalizing non-interference for a simple bytecode language in Coq (Q931434) (← links)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)
- Building Certified Static Analysers by Modular Construction of Well-founded Lattices (Q5415621) (← links)
