IRIT
,
Univ. Paul Sabatier
,
ACADIE
Nadezhda Baklanova
Thesis: Formally verified analysis of resource sharing conflicts in multithreaded Java
Online copy
Last modified: Fri Jul 3 18:28:03 CEST 2015