Histórico de versões

Formal specifications and analysis of an agent-based model for cognitive aspects of fear of crime