Seminar "Formal Specification" Published on 15.12.2011 Folien zu meinen Vortrag über "Security of Multithreaded Programs by Compilation" mais tu-darmstadt
