Normal view MARC view

Computers Programming Languages General (Topical Term)

Preferred form: Computers Programming Languages General

Machine generated authority record.

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

Powered by Koha