Login / Signup

OPERAM: A Collaborative Semantic Workspace for Software Verification.

Edenilson Jose da SilvaEmerson TorquatoMilton Pires RamosEmerson Cabrera Paraiso
Published in: SMC (2013)
Keyphrases