Foto del docente

Cosimo Laneve


Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics


Latest research papers

  • Cosimo Laneve and Abel Garcia: Deadlock detection of Java bytecode, November 2017. The extended abstract (e.g. the first 16 pages) will appear in the Proceedings of LOPSTR 2017.

Published on: January 24 2018