The BiblioNest. Curate your collection, your way.
© 2026 Ann Mathenge · Built with love, coffee, and cat hair.
Automated Technology for Verification and Analysis
By Bernd Finkbeiner, Geguang Pu, Lijun Zhang
No synopsis available.
Published
2015
Format
-
Pages
520
Language
English
ISBN
9783319249537
