Dr. Marta Franova: Constructive Matching - A User-Independent Methodology for Constructing Programs from Formal Specifications: Applications to Robotics

Lecture
Events index