Logic, Language, Information, and Computation
Alexandra Silva
Paperback
Not Available
Computer Aided Verification