Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
K. Narayan Kumar
,
Deepak D'Souza
Details
OL Work ID
OL20860955W
Subjects
Automatic theorem proving
Artificial intelligence
Find this book
Open Library