Verifiable Autonomous Systems | 9781108484992 | Memmo