Normal view
MARC view
Shankaranarayanan, Krishna (Personal Name)
Machine generated authority record
Work cat.: (AT-ISTA)767870: VMCAI (Conference) (26th : 2025 : Denver, Colo.) 1083776, Verification, model checking, and abstract interpretation : Part I /