Simmo Saan „Correctness Witnesses for Thread-Modular Program Analysis“ („Lõimeviisilise programmianalüüsi õigsustõendid”)
