Year | Venue | Keywords |
---|---|---|
2014 | OCL@MoDELS | security,formal methods,software engineering |
Field | DocType | Citations |
HOL,Programming language,Unified Modeling Language,Computer science,Compiler,Code generation,Formal methods,Syntax,Metamodeling,Executable | Conference | 0 |
PageRank | References | Authors |
0.34 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Delphine Longuet | 1 | 64 | 7.82 |
Frédéric Tuong | 2 | 10 | 3.12 |
Burkhart Wolff | 3 | 132 | 18.18 |