Ab. Aziz, Azizi and Mohd Shabli, Ahmad Hanis and Ghanimi, Hayder M. A. (2017) Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime. In: International Workshop on Multi-disciplinary Trends in Artificial Intelligence.