Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-41071-0_4 | SBMF |
Field | DocType | Citations |
Programming language,Semantic domain,Computer science,Formal representation,Theoretical computer science,Software,Separation of duties,Semantics,Semantics of logic,Formal verification | Conference | 3 |
PageRank | References | Authors |
0.38 | 17 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daniel Calegari | 1 | 48 | 11.33 |
| Nora Szasz | 2 | 52 | 8.48 |