Normal view MARC view

International SPIN Workshop (8th : 2001 Toronto, Ont.) (Meeting Name)

Preferred form: International SPIN Workshop (8th : 2001 Toronto, Ont.)

Machine generated authority record.

Work cat.: (AT-ISTA): International SPIN Workshop (8th : 2001 Toronto, Ont.), Model checking software :, 2001.

Powered by Koha