Verification, Model Checking, and Abstract Interpretation

Status

Rate

Check Later

Product Links

Authors

Andreas Podelski

Andreas Podelski

Kedar S. Namjoshi

Kedar S. Namjoshi

Subjects

Abstract Domains Programming Languages - General Verification Formal Verification Model Checking Abstarct Interpretation Computers Programming - Software Development Debugging Techniques Computer Science

Reviews (0) see more

Seems like you haven't provided a review

Don't miss the opportunity to share your thoughts!

Similar Books

Similar Movies

Similar TV Series

Similar Games