New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond
A specifier's introduction to formal methods