Name
Title | ||
|---|---|---|
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings |
Year | Venue | Field |
|---|---|---|
2014 | VMCAI | Model checking,Program transformation,Program synthesis,Software engineering,Abstract interpretation,Computer science,Static analysis,Cyberphysical systems,Algorithm,Theoretical computer science,Certification |
DocType | Volume | ISBN |
Conference | 8931 | isbn |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| vmcai | 1 | 20 | 2.20 |
| Deepak D'souza | 2 | 239 | 17.90 |
| Akash Lal | 3 | 537 | 32.12 |
| Kim Guldstrand Larsen | 4 | 4434 | 346.88 |