Items where authors include "Windsor, Matt"

Proceedings Paper

Windsor, Matt orcid.org/0000-0003-1285-0080 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2022) RoboCert: Property Specification in Robotics. In: ICFEM 2022:Formal Methods and Software Engineering. 23rd International Conference on Formal Engineering Methods, 24-27 Oct 2022. Lecture Notes in Computer Science . Springer , ESP , pp. 386-403.