- Qualitative Representations: How People Reason and Learn about the Continuous WorldForbus, Kenneth D.
Paperback - The Weakest Link: How to Diagnose, Detect, and Defend Users from PhishingVishwanath, Arun
Hardcover - Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsDill, David L.
Paperback
