@misc{indiciae8f910aaae7b8, title = {A Formal Specification of a Data Model for Malaria Surveillance in the Developing World}, author = {Emmanuel Tuyishimire}, year = {2024}, url = {https://arxiv.org/abs/2404.17859}, note = {Source identifier: 2404.17859} }