OPERAM: A Collaborative Semantic Workspace for Software Verification. - Edenilson Jose da Silva; Emerson Torquato; Milton Pires Ramos; Emerson Cabrera Paraiso (SMC, 2013)