[ 1 ].
Computer Aided Verification :34th International Conference, CAV 2022 Haifa, Israel, August 7–10, 2022 Proceedings, Part I
| Penulis | : |
Sharon Shoham, Yakir Vizel
|
| Jenis | : |
buku
|
| Tahun | : |
2022-10-11
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 2 ].
Computer Aided Verification : 35th International Conference, CAV 2023 Paris, France, July 17–22, 2023 Proceedings, Part II
| Penulis | : |
Constantin Enea · Akash Lal
|
| Jenis | : |
buku
|
| Tahun | : |
2023-02-07
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 3 ].
Computer Aided Verification 35th International Conference, CAV 2023 Paris, France, July 17–22, 2023 Proceedings, Part I
| Penulis | : |
Constantin Enea, Akash Lal
|
| Jenis | : |
buku
|
| Tahun | : |
2023-10-11
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 4 ].
Computer Aided Verification : 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I
| Penulis | : |
Alexandra Silva, K. Rustan M. Leino
|
| Jenis | : |
buku
|
| Tahun | : |
2021-06-29
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
.
