SET /

WM2010SessionFP1

  • John Hughes: Specifying and Testing an Instant Messaging Server
  • Hans Svensson: Testing with timeouts
  • Patrik Jansson: New MSc in High Assurance Software?