Tesi di laurea + tirocinio.
Published on: January 24 2018
Tesi di laurea triennale + tirocinio formativo
Published on: January 24 2018
Cosimo Laneve: A lightweight deadlock analysis for programs with threads and reentrant locks, January 2018. The extended abstract (e.g. the first 16 pages) will appear in the Proceedings of FM 2018.
Cosimo Laneve and Abel Garcia: Deadlock detection of Java bytecode, November 2017. The ...
Published on: January 24 2018
