conf.researchr.org / Dmitry Ivanov
Registered user since Thu 28 Apr 2016
Name: Dmitry Ivanov
Affiliation: TomTom
Personal website: http://dmitryivanov.io/
Contributions
| FormaliSE 2019 | Author of Static Analysis for Worst-Case Battery Utilization within the FormaliSE 2019-track |
| CurryOn 2016 | Author of Practical Demystification of CRDTs within the CurryOn -track |