Normal view MARC view

Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil) (Meeting Name)

Number of records used in: 1
Preferred form: Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil)

Machine generated authority record.

Work cat.: (AT-ISTA): Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil), Formal methods :, ©2009.

Powered by Koha