Normal view MARC view

International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland) (Meeting Name)

Number of records used in: 1
Preferred form: International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)

Machine generated authority record.

Work cat.: (AT-ISTA): International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland), Integrated formal methods :, ©2013.

Powered by Koha