Effective techniques for stateless model checking
- Författare
- Stavros Aronis
- (Stavros Aronis.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Acta Universitatis Upsaliensis | 2018 | Sverige, Uppsala | 56 sidor. ill. | 978-91-513-0160-0 |
| Acta Universitatis Upsaliensis | 2018 | Sverige, Uppsala | 56 |