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]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
1805.11996v1.pdf - Submitted Version Download (122kB) |
|
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: | 08 May 2020 19:49 |
| DOI: | 10.1007/978-3-319-98938-9_10 |
| Related URLs: | |
| URI: | http://livrepository.liverpool.ac.uk/id/eprint/3023589 |
Dimensions
Dimensions
DimensionsAltmetric
Share
CORE (COnnecting REpositories)