Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques

Research output: ThesisDoctoral ThesisResearch

Original languageEnglish
Publication statusPublished - 2001

Cite this