[ 1 ].

Computer Aided Verification :34th International Conference, CAV 2022 Haifa, Israel, August 7–10, 2022 Proceedings, Part I

Keywords : (computer aided verification)
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

Keywords : (computer aided verification)
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

Keywords : (computer aided verification)
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

Keywords : (computer aided verification)
Penulis : Alexandra Silva, K. Rustan M. Leino
Jenis : buku
Tahun : 2021-06-29
Bahasa : inggris
Penerbit : Springer

.