Research output per year
Research output per year
Search results
-
2022
RoboCert: Property Specification in Robotics
Windsor, M. & Cavalcanti, A., 10 Oct 2022, ICFEM 2022: Formal Methods and Software Engineering. Springer, p. 386-403 18 p. (Lecture Notes in Computer Science; vol. 13478).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2017
Starling: Lightweight Concurrency Verification With Views
Windsor, M. B., Dodds, M. D., Parkinson, M. J. & Simner, B., 2017, Computer aided verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings. Majumdar, R. & Kuncak, V. (eds.). Vol. 1. p. 544-569 (Lecture Notes in Computer Science; vol. 10426).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution