OPERAM: A Collaborative Semantic Workspace for Software Verification.

Edenilson Jose da Silva, Emerson Torquato, Milton Pires Ramos, Emerson Cabrera Paraiso

Browse the full SMC paper archive.