Name
Year | Venue | Field |
|---|---|---|
2010 | NASA Formal Methods | HOL,Functional verification,Model checking,Programmer,Software engineering,Computer science,Software quality,Software verification,Formal verification,Proof assistant,Embedded system |
DocType | Citations | PageRank |
Conference | 4 | 0.44 |
References | Authors | |
9 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Erik Endres | 1 | 4 | 0.44 |
| Christian Muller | 2 | 88 | 17.09 |
| Andrey Shadrin | 3 | 72 | 3.35 |
| Sergey Tverdyshev | 4 | 123 | 9.27 |