|
|
|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 2114938 | 60 |  | Rayna Dimitrova | Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15 16, 2024, ... Part II (Lecture Notes in Computer Science) | 2024 | pdf | 4/8/2024 1:55:47 AM | stirkout |
| 2114389 | 19 |  | Rayna Dimitrova | Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15 16, 2024, ... Part I (Lecture Notes in Computer Science) | 2024 | pdf | 4/3/2024 11:32:35 PM | topron |
| 2047716 | 110 |  | Cezara Dragoi | Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16 17, 2023, Proceedings (Lecture Notes in Computer Science, 13881) | 2021 | pdf | 1/27/2023 6:20:25 PM | stirkout |
| 1980478 | 111 |  | no autor | Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16 18, 2022, Proceedings (Lecture Notes in Computer Science, 13182) | 2021 | pdf | 2/11/2022 11:30:17 PM | alex21s |
| 1930556 | 60 |  | Fritz Henglein | Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17 19, 2021, Proceedings (Lecture Notes in Computer Science, 12597) | 2021 | pdf | 7/21/2021 9:53:59 PM | maveriks |
| 1676324 | 88 |  | Dirk Beyer, Damien Zufferey | Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 1621, 2020, Proceedings (Lecture Notes in Computer Science) | 15 Mar. 2020 | pdf | 1/16/2020 4:22:22 PM | topron |
| 1468368 | 123 |  | Constantin Enea and Ruzica Piskac | Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019 | 2017 | PDF, EPUB | 1/11/2019 8:08:43 AM | gestalt |
|
|
|
|