Flexibility, abstract types and reasoning in ExSpect

  • M.M. de Brouwer

Student thesis: Master

Abstract

Date of Award30 Apr 1990
Original languageEnglish
SupervisorK.M. van Hee (Supervisor 1) & M. Voorhoeve (Supervisor 2)

Cite this

'