![[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - OPERAM: A Collaborative Semantic Workspace for Software Verification]()
[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - OPERAM: A Collaborative Semantic Workspace for Software VerificationSilva, Edenilson Jose da; Torquato, Emerson; Ramos, Milton Pires; Paraiso, Emerson Cabrera · 2013