The KindSoftware: Software Engineering with Applied Formal Methods Blog
Participants occasionally write articles for the KindSoftware Formal Methods Blog. The most recent articles are linked on this top-level page, and past months are linked on the right.