(No Title)
収録刊行物
-
- The Calculus of Computation : Decision Procedures with Applications to Verification
-
The Calculus of Computation : Decision Procedures with Applications to Verification 2007
Springer-Verlag New York, Inc.