{ "items": [ "\n\n
\n \n Conference paper\n \n
\n \n\n \n \n \nDavies J., (2006), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3167 LNCS, 64 - 122
\n \n \n \n\n \n
\n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nWelch J. et al, (2005), Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, 282 - 291
\n \n \n \n\n
\n \n \n \n\n \n Journal article\n \n
\n \n\n \n \n \nDavies J. et al, (2005), Electronic Notes in Theoretical Computer Science, 130, 39 - 55
\n \n \n \n\n
\n \n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nDavies J. et al, (2004), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3294, 185 - 202
\n \n \n \n\n \n
\n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nCavarra A. et al, (2004), Information and Software Technology, 46, 309 - 314
\n \n \n \n\n
\n \n \n \n\n \n Journal article\n \n
\n \n\n \n \n \nCavarra A. et al, (2004), Information & Software Technology, 46, 309 - 314
\n \n \n \n\n \n
\n \n \n\n \n Book\n \n
\n \n\n \n \n \nDavies J. et al, (2004), 3308
\n \n \n \n\n \n
\n \n \n\n \n Journal article\n \n
\n \n\n \n \n \nDavies J. and Crichton C., (2003), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2885, 105 - 124
\n \n \n \n\n \n
\n \n \n\n \n Journal article\n \n
\n \n\n \n \n \nDavies J. and Crichton C., (2003), Formal Aspects of Computing, 15, 118 - 145
\n \n \n \n\n
\n \n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nSimpson A. et al, (2003), Proceedings - International Conference on Software Engineering, 628 - 633
\n \n \n \n\n \n
\n \n \n\n \n Journal article\n \n
\n \n\n \n \n \nDavies J. and Crichton C., (2002), Electronic Notes in Theoretical Computer Science, 70, 577 - 603
\n \n \n \n\n
\n \n \n \n\n \n Journal article\n \n
\n \n\n \n \n \nBolton C. and Davies J., (2002), Electronic Notes in Theoretical Computer Science, 70, 297 - 310
\n \n \n \n\n
\n \n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nBolton C. and Davies J., (2002), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2335, 225 - 244
\n \n \n \n\n \n
\n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nCassel LB. et al, (2001), ITiCSE-WGR 2000 - Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education, 111 - 126
\n \n \n \n\n
\n \n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nBolton C. and Davies J., (2000), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1945 LNCS, 77 - 96
\n \n \n \n\n \n
\n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nBolton C. and Davies J., (2000), IFIP Advances in Information and Communication Technology, 49 AICT, 163 - 182
\n \n \n \n\n
\n \n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nBolton C. and Davies J., (2000), INTEGRATED FORMAL METHODS, PROCEEDINGS, 1945, 77 - 96
\n \n \n \n\n \n
\n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nBlarney SR. et al, (1992), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 600 LNCS, 640 - 675
\n \n \n \n\n
\n \n \n \n\n \n Conference paper\n \n
\n \n\n \n \n \nDavies J. et al, (1991), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 571 LNCS, 149 - 169
\n \n \n \n\n
\n \n \n \n