Andrew Edmunds

Providing concurrent implementations for Event-B developments.
. University of Southampton, UK, (2010)British Library, EThOS.
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found