👤

Sanjit A. Seshia

2 books

Books by Sanjit A. Seshia

Introduction to Embedded Systems
Introduction to Embedded Systems
2016
Verified Software : Theories, Tools, and Experiments
Verified Software : Theories, Tools, and Experiments
2016