An interactive program for checking the correctness of expressions in AUT-SL

  • A. Leijnen

Student thesis: Master

Abstract

Date of Award31 Aug 1984
Original languageEnglish
SupervisorN.G. (Dick) de Bruijn (Supervisor 1) & H. Balsters (Supervisor 2)

Cite this

'