Proving termination of imperative programs through term rewriting systems

  • G.D.M. Beerendonk

Student thesis: Master

Date of Award31 Jan 2008
Original languageEnglish
SupervisorHans Zantema (Supervisor 1)

Cite this

'