Formal Aspects of Security and Trust Gilles Barthe, Anupam Datta, Sandro Etalle 456,60 DKK See product
Software Engineering and Formal Methods Gilles Barthe, Alberto Pardo, Gerardo Schneider 456,60 DKK See product
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
