Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

News

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