"Sound and Precise Analysis of Multithreaded Programs through Schedule ..."

Jingyue Wu (2014)

Details and statistics

DOI: 10.7916/D8BZ64N7

access: closed

type: Book or Thesis

metadata version: 2022-04-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics