Sanjit A. Seshia

Sanjit A. Seshia

Books

Co-authored books and collections

Books that list Sanjit A. Seshia among their authors but not as the lead author: co-written works, collections and compilations.

Verified Software : Theories, Tools, and ExperimentsArie Gurfinkel

Verified Software : Theories, Tools, and Experiments

Arie Gurfinkel · 2016

Introduction to Embedded SystemsEdward A. Lee

Introduction to Embedded Systems

Edward A. Lee · 2016