Sanjit A. Seshia

No bio available. Add one in Open Library.

Books by Sanjit A. Seshia (50 max)

+ shelf+ list

Verified Software : Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

2016

Arie Gurfinkel, Sanjit A. Seshia

+ shelf+ list

Introduction to Embedded Systems A Cyber-Physical Systems Approach

2016

Edward A. Lee, Sanjit A. Seshia