Verification, Model Checking, and Abstract Interpretation Gilles Barthe, Manuel Hermenegildo 456,60 DKK See product
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Gilles Barthe, Benjamin Gregoire, Marieke Huisman 456,60 DKK See product
