• 1155 Citations
  • 18 h-Index
1987 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

Edited Book/Anthology

Logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 Suva, Fiji, november 24–28, 2015 proceedings

Davis, M. (ed.), Fehnker, A. (ed.), McIver, A. (ed.) & Voronkov, A. (ed.), 2015, Heidelberg: Springer, Springer Nature. 640 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9450)

Research output: Book/ReportEdited Book/Anthology


Programming Methodology

McIver, A. (ed.) & Morgan, C. (ed.), 2003, Springer, Springer Nature.

Research output: Book/ReportEdited Book/Anthology