Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy

Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy