Aina Niemetz

Identifiers

Open LibraryOL14994423A

Books by Aina Niemetz

Total count: 1

Automated Technology for Verification and Analysis22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-II

Springer2025-01-01