Automated Technology for Verification and Analysis
by Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Automatic theorem proving
Writing a summary for young readers…
For young readers
Book data: Open Library
by Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Book data: Open Library