Versione italiana
University of Bologna
Home
Research
Current Projects
Publications
Software
Teaching
Program Analysis
Information Technology
Programming Languages: Compilers (old)
Formal Methods 1: Software Quality (old)
Department of Computer Science
|
People
|
How to reach us
You are in:
Cosimo Laneve Home
>
Software
Software
The Java Bytecode Verifier with Structured Locking Checks
, Gaetano Bigliardi and Cosimo Laneve, April 2003. Please, read the
README file
.
The PiDuce Machine
, Samuele Carpineti, Cosimo Laneve, Luca Padovani, May 2007.
