Aaron r. bradley

Books by Aaron r. bradley

Aaron r. bradley, Zohar Manna: The Calculus of Computation: Decision Procedures with Applications to Verification (2007) No rating

The Calculus of Computation: Decision Procedures with Applications to Verification

by ,