Name
Title | ||
|---|---|---|
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. |
Year | Venue | DocType |
|---|---|---|
2021 | IEEE International Conference on Software Engineering and Formal Methods | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Radu Calinescu | 1 | 905 | 63.01 |
| Corina S. Pasareanu | 2 | 20 | 3.71 |