Pages that link to "Item:Q5428882"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5428882):
Displaying 12 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)
- Java bytecode verification: Algorithms and formalizations (Q1405988) (← links)
- Bytecode verification by model checking (Q1405996) (← links)
- Lightweight bytecode verification (Q1826470) (← links)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)
- Computer Science Logic (Q5311262) (← links)
- Programming Languages and Systems (Q5316574) (← links)
- A certified lightweight non-interference Java bytecode verifier (Q5400855) (← links)
- Building Certified Static Analysers by Modular Construction of Well-founded Lattices (Q5415621) (← links)
- Automated Deduction – CADE-19 (Q5900713) (← links)