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