TY - RPRT TI - A Formal Specification of a Data Model for Malaria Surveillance in the Developing World AU - Emmanuel Tuyishimire PY - 2024 UR - https://arxiv.org/abs/2404.17859 ID - 2404.17859 ER -