Computer Science Blog by Christian Krause Thoughts on Software Engineering & Formal Methods Feed: http://www.ckrause.org/feeds/posts/default?alt=rss