Jorge A. Navas

Books
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
2020