Robotics and Integrated Formal Methods: Necessity Meets Opportunity



Farrell, Marie ORCID: 0000-0001-7708-3877, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Fisher, Michael ORCID: 0000-0002-0875-3862
(2018) Robotics and Integrated Formal Methods: Necessity Meets Opportunity. .

[img] Text
1805.11996v1.pdf - Submitted Version

Download (122kB)
[img] Text
ifmfinal.pdf - Accepted Version

Download (140kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 26 Sep 2018 10:06
Last Modified: 30 Oct 2020 13:00
DOI: 10.1007/978-3-319-98938-9_10
Related URLs:
URI: http://livrepository.liverpool.ac.uk/id/eprint/3023589