Sign In
Sign Up
Verification, Model Checking, and Abstract Interpretation
Andreas Podelski
Kedar S. Namjoshi
-
/
5
0 votes
Formal Verification
Deductive Methods
Programming - Software Development
No items found
Try changing the filters