Automated technology for verification and analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings
Author(s)
Bibliographic Information
Automated technology for verification and analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings
（Lecture notes in computer science, 15055）
Springer, [2025] , , c2025
- part 2
Available at / 1 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
part 2L/N||LNCS||15055200046295494
-
No Libraries matched.
- Remove all filters.
Note
Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)
Includes bibliographical references and index
