Vertaler van 'Intermediate format' naar Promela

D.R. Dams, D. Bosnacki

Research output: Non-textual formSoftwareProfessional

Original languageEnglish
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1998

Cite this

Dams, D. R. (Author), & Bosnacki, D. (Author). (1998). Vertaler van 'Intermediate format' naar Promela. Software, Technische Universiteit Eindhoven.