2 books • 2 series
Book #3299: Automated Technology for Verification and Analysis
Book #3731: Formal Techniques for Networked and Distributed Systems Forte 2005