Korat 论文

2002引用 299
DOI
Software Testing and Debugging TechniquesFormal Methods in VerificationSoftware Reliability and Analysis Research
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
相关技术:Formal Methods in Verification
关系图谱

Korat · 作者

D

Darko Marinov

S

Sarfraz Khurshid

C

Chandrasekhar Boyapati