Year | DOI | Venue |
---|---|---|
2010 | 10.14279/tuj.eceasst.33.461 | ECEASST |
Keywords | Field | DocType |
formal verification,domain specific language,type system | Functional verification,Programming language,Computer science,Intelligent verification,Verification,Runtime verification,Theoretical computer science,Formal methods,High-level verification,Formal verification,Software verification | Journal |
Volume | Citations | PageRank |
33 | 5 | 0.49 |
References | Authors | |
9 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Manuel Barbosa | 1 | 337 | 24.91 |
Jorge Sousa Pinto | 2 | 160 | 23.19 |
Jean-Christophe Filliâtre | 3 | 615 | 45.86 |
Bárbara Vieira | 4 | 32 | 2.87 |