J. Strother Moore

5 books • 2 series

Advances in Formal Methods

Automated Reasoning

Cover of Piton

Book #3: Piton