Nicola Angius

Nicola Angius

Università degli Studi di Messina - Messina / Italy
History, Philosophy, Theology / Philosophy
AD Scientific Index ID: 5316538
University of Messina
person_outline Nicola Angius's MOST POPULAR ARTICLES
1-) The Philosophy of Computer ScienceNA Raymond TurnerStanford Encyclopedia of Philosophy, 201729*2017
2-) Model-based abductive reasoning in automated software testingN AngiusLogic Journal of IGPL 21 (6), 931-942, 2013202013
3-) The problem of justification of empirical hypotheses in software testingN AngiusPhilosophy & Technology 27, 423-439, 2014182014
4-) Abstraction and idealization in the formal verification of software systemsN AngiusMinds and Machines 23, 211-226, 2013152013
5-) Scientific theories of computational systems in model checkingN Angius, G TamburriniMinds and Machines 21, 323-336, 2011142011