Andrew Edmunds

Providing concurrent implementations for Event-B developments.
. University of Southampton, UK, (2010)British Library, EThOS.
  •  :
  •  :
далее