conf.researchr.org / Dmitry Ivanov

Registered user since Thu 28 Apr 2016
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 |