Model Checking Programs 论文

2003Automated Software Engineering引用 1352
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
关系图谱

Model Checking Programs · 作者

F

Flavio Lerda

S

Seungjoon Park

G

Guillaume Brat

K

Klaus Havelund

W

Willem Visser