Seshia, Sanjit A.
Seshia, Sanjit Arunkumar
VIAF ID: 257383722 (Personal)
Permalink: http://viaf.org/viaf/257383722
Preferred Forms
-
-
-
100 1 _ ‡a Seshia, Sanjit A.
-
100 1 _ ‡a Seshia, Sanjit A.
-
-
-
100 1 _ ‡a Seshia, Sanjit A.
-
100 1 _ ‡a Seshia, Sanjit A.
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Computer aided verification, c2012: |
![]() ![]() ![]() |
Introduction to embedded systems : a cyber-physical systems approach |
![]() ![]() ![]() ![]() ![]() ![]() |
Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers |
![]() ![]() |