David, Nuno; Sichman, Jaime Simão; Coelho, Helder - In: Journal of Artificial Societies and Social Simulation 8 (2005) 4, pp. 2-2
empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social … theories seem not to possess. This distinction is associated with two types of program verification, which we call empirical …