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