conf.researchr.org / Dmitry Ivanov
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