Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Geguang Pu
,
Bernd Finkbeiner
,
Lijun Zhang
Details
OL Work ID
OL25697546W
Subjects
Automatic theorem proving
Find this book
Open Library