Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Finna-arvio
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Tallennettuna:
| Ulkoasu |
1 online resource (XVII, 502 p. 140 illus., 88 illus. in color.) |
|---|---|
| Kieli |
englanti |
| Julkaisija |
Cham :
Springer Nature Switzerland,
2023.
|
| Sarja | Lecture Notes in Computer Science, ISSN 1611-3349; 13966 |
| Luokitus | |
| Dewey-luokitus |
005.1 |
| Aiheet | |
| Lisätiedot | edited by Constantin Enea, Akash Lal |
| Muu ilmiasu |
3-031-37708-7 |
| ISBN |
3-031-37709-5 |
| DOI | 10.1007/978-3-031-37709-9 |
| Pääsy | Open Access |
| Standarditunnukset |
doi 10.1007/978-3-031-37709-9 |