Defense of a doctoral thesis: Simmo Saan "Correctness witnesses for thread-modular program analysis"

Supervisor: Assoc. Prof. Vesal Vojdani

Opponents: Prof. Patrick Cousot (New York University, USA) and Prof. Dirk Beyer (Ludwig-Maximilians-Universität München, Germany)

A summary and link to the PDF-file of the thesis are available on the UT library webpage: DSpace link.