Normal view
MARC view
Legunsen, Owolabi (Personal Name)
Machine generated authority record
Work cat.: (AT-ISTA)656924: International SPIN Workshop (28th : 2022 : Online) 977004, Model checking software :, 2022.