Talks

Occasionally, people associated with KindSoftware give talks and classes on software development with formal methods. Archives of these talks and their supplementary materials are found here.