Normal view
MARC view
Akshay, S (Personal Name)
Machine generated authority record
Work cat.: (AT-ISTA)767878: ATVA (Symposium) (22nd : 2024 : Kyoto, Japan) 1083796, Automated technology for verification and analysis : Part I /