Luca Martini
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Partial model checking via abstract interpretation Information Processing Letters | 2010-09-02 | Paper |
| Using abstract interpretation to add type checking for interfaces in Java bytecode verification Theoretical Computer Science | 2010-05-27 | Paper |
| Instruction-level security analysis for information flow in stack-based assembly languages Information and Computation | 2007-09-18 | Paper |
Research outcomes over time
This page was built for person: Luca Martini
