Normal view MARC view

Weber, Michael (Michael F.) (Personal Name)

Preferred form: Weber, Michael (Michael F.)

Machine generated authority record.

Work cat.: (AT-ISTA): International SPIN Workshop (17th : 2010 Enschede, Netherlands) 40385, Model checking software :, ©2010.

Powered by Koha