Verification of protocol implementations by means of test generation from specifications

  • Marc F. van Opstal

Student thesis: Master

Abstract

Date of Award31 Aug 1993
Original languageEnglish
SupervisorC.J. Koomen (Supervisor 1)

Cite this

'