Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Nigel Jefferson.

Newcastle AuthorsTitleYearFull text
Nigel Jefferson
[PhD Thesis] Dependable Compositions: a Formal Approach2006
Dr Joey Coleman
Nigel Jefferson
Professor Cliff Jones
Comments on several years of teaching of modelling programming language concepts2006
Dr Stephen Riddle
Nigel Jefferson
Protective Wrapping of Off-the-Shelf Components2005
Dr Joey Coleman
Nigel Jefferson
Professor Cliff Jones
Black Tie Optional: Modelling Programming Language Concepts2004
Dr Stephen Riddle
Nigel Jefferson
Protective Wrapping of Off-the-Shelf Components2004
Nigel Jefferson
Dr Stephen Riddle
Towards a Formal Semantics of a Composition Language2003