M. A. Malik

A Language for Verifiable Modular Programming

M. A. Malik, 1982, Aust. Comput. J..

Correctness of Data Representations

M. A. Malik, 1976 .

Construction of standard volume tables for platanus orientalis l. growth under irrigated conditions in northern Iraq

M. A. Malik, M. A. Siddig, Tariq K. Salih, 1985 .