"Proceedings of the 39th IEEE/ACM International Conference on Automated ..."

Vladimir Filkov, Baishakhi Ray, Minghui Zhou (2024)

Details and statistics

DOI: 10.1145/3691620

access: closed

type: Editorship

metadata version: 2025-01-07