Executable specification tool

H.M.W. Verbeek, P. Krom, de, W.M.P. Aalst, van der

Research output: Non-textual formSoftwareProfessional

Original languageEnglish
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1998

Cite this