Title | ||
---|---|---|
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings |
Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-34968-4 | International Conference on Integrated Formal Methods (IFM) |
DocType | Volume | Citations |
Conference | 11918 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wolfgang Ahrendt | 1 | 4 | 2.81 |
Silvia Lizeth Tapia Tarifa | 2 | 0 | 1.69 |