Aziem Chawdhary

Proving termination using abstract interpretation.
. Queen Mary University of London, UK, (2010)British Library, EThOS.
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found