论文信息 - Formal Modeling and Verification of Virtual Community Systems - 字舞流文

Formal Modeling and Verification of Virtual Community Systems

Angelo Perkusich | Leandro Dias da Silva | Hyggo Almeida | Frederico M. Bublitz | Elthon Oliveira | Nadia Milena