Name
Year | DOI | Venue |
|---|---|---|
2015 | 10.1007/978-3-319-15545-6_34 | Software, Services, and Systems |
Field | DocType | Citations |
Abstraction,Algebra,Computer science,Correctness,Software,Mathematical proof,Invariant (mathematics) | Conference | 0 |
PageRank | References | Authors |
0.34 | 7 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tomás Bures | 1 | 187 | 28.93 |
| Ilias Gerostathopoulos | 2 | 254 | 26.55 |
| Jaroslav Keznikl | 3 | 157 | 12.23 |
| Frantisek Plasil | 4 | 945 | 74.69 |
| Petr Tuma | 5 | 276 | 31.77 |