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.
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.