Person: Dimitur Nikolaev Krustev
DBLP: Krustev:Dimitur_Nikolaev
Contributed to:
Wrote 1 papers:
- ASE-1999-Krustev #generative #refinement #testing #using
- Software Test Generation Using Refinement Types (DNK), pp. 279–282.