Laster...

Verifiable Autonomous Systems av Louise A. (University of Manchester) Dennis, Michael (University of Manchester) Fisher - Nelo