Russo Jr, Aryldo G (2009) Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East. [DEPLOY Associate Item] (Submitted)