Search results for: Sanjit Seshia
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 431-444
IEEE Embedded Systems Letters > 2010 > 2 > 2 > 21 - 22
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 431-444
IEEE Embedded Systems Letters > 2010 > 2 > 2 > 21 - 22