Formal methods for verification in human-agent interaction
- Författare
- Andreas Brännström
- (Andreas Brännström.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of computing science, Umeå University | 2025 | Sverige, Umeå | 1 onlineresurs (262 sidor) illustrationer | 978-91-8070-683-4 |
| Department of computing science, Umeå University | 2025 | Sverige, Umeå | 262 sidor illustrationer | 978-91-8070-682-7 |