Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Sanjit A. Seshia and First Letter Of Title is M  [Clear All Filters]
2018
Modeling for Verification, Seshia, Sanjit A., Sharygina Natasha, and Tripakis Stavros , Handbook of Model Checking, (2018)