Citation: I. Morrey et al., A TOOLSET TO SUPPORT THE CONSTRUCTION AND ANIMATION OF FORMAL SPECIFICATIONS, The Journal of systems and software, 41(3), 1998, pp. 147-160
Citation: J. Siddiqi et C. Roast, FORMALITY, ITS ROLE IN BRIDGING THE COMMUNICATION GAP BETWEEN HUMANS AND COMPUTERS, Interacting with computers, 9(2), 1997, pp. 105-110
Citation: Mg. Yasargil et J. Siddiqi, TECHNICAL ASPECTS AND RECENT TRENDS IN THE MANAGEMENT OF LARGE AND GIANT MIDBASILAR ARTERY ANEURYSMS - COMMENTS, Neurosurgery, 41(3), 1997, pp. 520-520
Citation: Mb. Ozcan et J. Siddiqi, INTERCHANGING SPECIFICATIONS AND IMPLEMENTATIONS IN EVOLUTIONARY PROTOTYPING, Software, practice & experience, 26(9), 1996, pp. 999-1023