Normal view
MARC view
International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil), Formal methods and software engineering :, ©2009.