Normal view
MARC view
SPIN (Fitxer informàtic) (Uniform Title)
Machine generated authority record
Work cat.: (AT-ISTA): International SPIN Workshop (28th : 2022 : Online) 977004, Model checking software :, 2022.