Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan
Journal title: NASA Formal Methods. NFM 2022. Lecture Notes in Computer Science
Journal number: 13260
Journal publisher: Springer, Cham
Published year: 2021
DOI identifier: 10.1007/978-3-031-06773-0_14
ISBN: 978-3-031-06772-3
Search
Contacts
Not specified (see website if available) or see associated project
Associated projects
Associated products/services
- No items published
Organisations
- Not specified