Sanjit A. Seshia

Bücher
Verified Software: Theories, Tools, and Experiments Verified Software: Theories, Tools, and Experiments
Verified Software: Theories, Tools, and Experiments
2016