Runtime Verification
von
Ylies Falcone,Bernd Finkbeiner Howard Barringer
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-642-16613-6
ISBN-10: 3-642-16613-X
Springer
· 2011