Special Information Science and Technology Seminar
Moore B270
Reasoning about Reliability and Security Using Boolean Methods
Sanjit Seshia,
Computer Science,
Carnegie Mellon,
"Reasoning about Reliability and Security Using Boolean Methods," Sanjit Seshia, computer science department, Carnegie Mellon University.
For more information, please contact Louise Foucher by phone at 626-395-2826 or by email at [email protected].
Event Series
Information Science and Technology Seminar
Event Sponsors