Normal view MARC view

ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands), (Meeting Name)

Preferred form: ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands),

Machine generated authority record.

Work cat.: (AT-ISTA): International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands) 56938, Model checking software :

Powered by Koha