http://m-schwarz.net/blog
Technical University of Munich @tum-cit-pl Munich PhD Candidate in Static Analysis at TUM
Michael Schwarz