M. A. Malik

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1982

1 M. A. Malik: A Language for Verifiable Modular Programming. Australian Computer Journal 14(4): 137-142 (1982)