X-machine day.

Verification and Testing Research Group.

24th July 1998

University of Sheffield

Draft programme.


Location: Room G22, Regent Court, Portobello Street, Sheffield.


Further information from: m.holcombe@dcs.shef.ac.uk

  • The Verification and Testing Research Group

    Dated: 15/7/98