jStar 论文

2008引用 227

Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques

Logic, programming, and type systems Formal Methods in Verification Software Testing and Debugging Techniques

相关技术:Formal Methods in Verification

jStar · 作者

Matthew J. Parkinson J

Dino Distefano