Integration of an existing tool for completion of abstract data types into the LOTOS toolenvironment lite

  • R.J. Elbrink

Student thesis: Master

Abstract

Date of Award31 Dec 1990
Original languageEnglish
SupervisorRob Nederpelt (Supervisor 1), P.A.J. Tilanus (Supervisor 2) & D.K. Hammer (Supervisor 2)

Cite this

'