Fang Yan presented a paper on “Automated Compositional Verification for Robotic State Machines using Isabelle/HOL” at the The 27th International Conference on Engineering of Complex Computer Systems (ICECCS’2023) in Toulouse, France.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
