Margaret West


Researcher
School of Computing and Engineering
University of Huddersfield
41 Becketts Park Drive
Leeds


LS6 3PD, UK


Formal Methods