Browse
FAQ

Author

Geguang Pu

1 book found

Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang · First published 2015