Name
Title | ||
|---|---|---|
Refinement and Proof Based Development of Systems Characterized by Continuous Functions. |
Year | Venue | DocType |
|---|---|---|
2015 | SETTA | Conference |
Citations | PageRank | References |
3 | 0.49 | 10 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Guillaume Babin | 1 | 3 | 1.16 |
| Yamine Aït Ameur | 2 | 287 | 52.61 |
| Shin Nakajima | 3 | 18 | 4.81 |
| Marc Pantel | 4 | 146 | 33.11 |