Normal view MARC view

Wijs, Anton (Personal Name)

Preferred form: Wijs, Anton

Machine generated authority record.

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

Powered by Koha