KindSoftware is a research group, community, and company dedicated to advocating the use of applied formal methods for software development through education, community building, and by example... KindSoftware is dedicated to quality software..
Relevance: 13.902128