Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science #15172)
6529314
|
Roberto Moreno-Díaz
Alexis Quesada-Arencibia
Michael Affenzeller
|
9783031829499 |
2025 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II (Lecture Notes in Computer Science #15173)
6529364
|
Roberto Moreno-Díaz
Alexis Quesada-Arencibia
Michael Affenzeller
|
9783031829574 |
2025 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III (Lecture Notes in Computer Science #15174)
6529466
|
Roberto Moreno-Díaz
Alexis Quesada-Arencibia
Michael Affenzeller
|
9783031838859 |
2025 |
Contains images
|
|
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science #9206)
2107671
|
Daniel Kroening
Corina S. Păsăreanu
|
9783319216904 |
2015 |
Contains images
|
|
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science #9779)
2110722
|
Swarat Chaudhuri
Azadeh Farzan
|
9783319415284 |
2016 |
Contains images
|
|
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10426)
2113164
|
Rupak Majumdar
Viktor Kunčak
|
9783319633879 |
2017 |
Contains images
|
|
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10427)
2113165
|
Rupak Majumdar
Viktor Kunčak
|
9783319633909 |
2017 |
Contains images
|
|
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10981)
2119063
|
Hana Chockler
Georg Weissenbacher
|
9783319961453 |
2018 |
Contains images
|
|
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10982)
2119062
|
Hana Chockler
Georg Weissenbacher
|
9783319961422 |
2018 |
Contains images
|
|
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11561)
2827337
|
Isil Dillig
Serdar Tasiran
|
9783030255404 |
2019 |
Contains images
|
|
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562)
2829435
|
Isil Dillig
Serdar Tasiran
|
9783030255435 |
2019 |
Contains images
|
|
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12224)
3548058
|
Chao Wang
Shuvendu K. Lahiri
|
9783030532888 |
2020 |
Contains images
|
|
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12225)
3548049
|
Chao Wang
Shuvendu K. Lahiri
|
9783030532918 |
2020 |
Contains images
|
|
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science #12759)
4216755
|
K. Rustan M. Leino
Alexandra Silva
|
9783030816858 |
2021 |
Contains images
|
|
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science #12760)
4211970
|
K. Rustan M. Leino
Alexandra Silva
|
9783030816889 |
2021 |
Contains images
|
|
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science #13371)
4972604
|
Sharon Shoham
Yakir Vizel
|
9783031131851 |
2022 |
Contains images
|
|
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science #13372)
4849386
|
Sharon Shoham
Yakir Vizel
|
9783031131882 |
2022 |
Contains images
|
|
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science #13964)
5800219
|
Constantin Enea
Akash Lal
|
9783031377068 |
2023 |
Contains images
|
|
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science #13965)
5477052
|
Constantin Enea
Akash Lal
|
9783031377037 |
2023 |
Contains images
|
|
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science #13966)
5413605
|
Constantin Enea
Akash Lal
|
9783031377099 |
2023 |
Contains images
|
|
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14681)
6150030
|
Arie Gurfinkel
Vijay Ganesh
|
9783031656279 |
2024 |
Contains images
|
|
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14682)
6149251
|
Arie Gurfinkel
Vijay Ganesh
|
9783031656309 |
2024 |
Contains images
|
|
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III (Lecture Notes in Computer Science #14683)
6111292
|
Arie Gurfinkel
Vijay Ganesh
|
9783031656330 |
2024 |
Contains images
|
|
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science #15931)
6846543
|
Ruzica Piskac
Zvonimir Rakamarić
|
9783031986680 |
2025 |
Contains images
|
|
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (Lecture Notes in Computer Science #15932)
6682515
|
Ruzica Piskac
Zvonimir Rakamarić
|
9783031986796 |
2025 |
Contains images
|
|