Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. .
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Elettronico eBook |
| Lingua: | inglese |
| Pubblicazione: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Edizione: | 1st ed. 2023. |
| Serie: | Lecture Notes in Computer Science,
13964 |
| Soggetti: | |
| Accesso online: | Link to Metadata |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Search Result 1
Search Result 2
DOAB: description of the publication
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Pubblicazione 2023
DOAB: download the publication
DOAB: description of the publication
Elettronico
Capitolo di libro