motivation and connection to applications / rst applications / type systems / selectors car / predicate applications / software development / efficient algorithms / real-time constraints / /
Person
Sanjit A. Seshia / Hans van Maaren / Clark Barrett / Roberto Sebastiani / Cesare Tinelli / /