[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

• 作者Silva, Edenilson Jose da; Torquato, Emerson; Ramos, Milton Pires; Paraiso, Emerson Cabrera
• 文件大小1702.73KB
• 发表时间2013
• DOI10.1109/smc.2013.179
• 页码1026-1031