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