Verification, Model Checking, and Abstract Interpretation
von
Manuel Hermenegildo Gilles Barthe
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-642-11320-8
ISBN-10: 3-642-11320-6
Springer
· 2010
