BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
∅
Talks about:
softwar (1) generat (1) refin (1) type (1) test (1) use (1)

Person: Dimitur Nikolaev Krustev

DBLP DBLP: Krustev:Dimitur_Nikolaev

Contributed to:

ASE 19991999

Wrote 1 papers:

ASE-1999-Krustev #generative #refinement #testing #using
Software Test Generation Using Refinement Types (DNK), pp. 279–282.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.