👤

Arie Gurfinkel

2 books

Books by Arie Gurfinkel

Verified Software : Theories, Tools, and Experiments
Verified Software : Theories, Tools, and Experiments
2016
Multi-valued symbolic model-ch
Multi-valued symbolic model-checking
2003