Items where Author is "Nicholson, J."

Contribution to conference proceedings in the public domain

Nicholson, J. (2011) A theory of classes from the theoretical foundations of LePUS3 In: 13th International Conference on Formal Engineering Methods, 25-28 October 2011, Durham, UK.

Nicholson, J., Gasparis, E., Eden, A. and Kazman, R. (2009) Automated verification of design patterns with LePUS3 In: 1st NASA Formal Methods Symposium–NFM 2009, 6–8 April 2009, Moffett Field, CA, USA.

Journal article

Fenlon, S., Collyer, J., Giles, J., Bidd, H., Lees, M., Nicholson, J., Dulai, R., Hankins, M. and EDELMAN, NATALIE (2012) Oral vs intravenous paracetamol for lower third molar extractions under general anaesthesia: is oral administration inferior? British Journal of Anaesthesia, 110 (3). ISSN 0007-0912