Runtime Verification

Finkbeiner

von Ylies Falcone,Bernd Finkbeiner Howard Barringer

Taschenbuch

ISBN-13: 978-3-642-16613-6

ISBN-10: 3-642-16613-X

Springer · 2011