Automated Technology for Verification and Analysis
Bernd Finkbeiner, Geguang Pu, Lijun Zhang
₹4,262
Author
Books by Bernd Finkbeiner
Showing 1–3 of 3 books
Runtime Verification
Bernd Finkbeiner, Leonardo Mariani
₹5,095
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
₹6,997