Moshe Deutsch

An analysis of total correctness refinement models for partial relation semantics.
. University of Essex, Colchester, UK, (2005)British Library, EThOS.
  •  :
  •  :
далее