Normal view
MARC view
Oliveira, Marcel Vinícius Medeiros (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil) 36981, Formal methods :, ©2009.