Home > Authors > Bernd Finkbeiner > Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Recent activity
Rate this book to see your activity here.
21 Books Similar to Automated Technology for Verification and Analysis by Bernd Finkbeiner
Bookscovery readers who liked Automated Technology for Verification and Analysis also like
Fields of Logic and Computation III, Chinese Folklore Studies Today and Da cheng Beijing.
How many of these have you read?
Comments and reviews of Automated Technology for Verification and Analysis
Please sign in to leave a comment