Name
Year | Venue | Field |
|---|---|---|
2011 | Softwaretechnik-Trends | Incomplete contracts,Programming language,Programmer,Software engineering,Expression (mathematics),Computer science,Correctness,Formal methods,Postcondition,Syntax,Toolchain |
DocType | Volume | Issue |
Journal | 31 | 3 |
Citations | PageRank | References |
1 | 0.35 | 6 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Johannes Kanig | 1 | 31 | 4.74 |
| Jérôme Guitton | 2 | 4 | 1.52 |
| Yannick Moy | 3 | 69 | 9.25 |