pSub/seminar-formspez

Report and Slides to my talk about "Security of Multithreaded Programs by Compilation" at the seminar "Formal Specification" in WS11/12 at TU Darmstadt

语言：TeX · GitHub 星标：1 · Fork：0

在 GitHub 上查看原仓库