Normal view MARC view

Mathematics Logic (Topical Term)

Preferred form: Mathematics Logic

Machine generated authority record.

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

Powered by Koha