APA
Howard Barringer Y. F. B. F. K. H. I. L. G. P. G. R. O. S. N. T., . (2010). Runtime Verification. Germany: Springer.
Chicago
Howard Barringer Ylies Falcone Bernd Finkbeiner Klaus Havelund Insup Lee Gordon Pace Grigore Roşu Oleg Sokolsky Nikolai Tillmann, . 2010. Runtime Verification. Germany: Springer.
Harvard
Howard Barringer Y. F. B. F. K. H. I. L. G. P. G. R. O. S. N. T., . (2010). Runtime Verification. Germany: Springer.
MLA
Howard Barringer Ylies Falcone Bernd Finkbeiner Klaus Havelund Insup Lee Gordon Pace Grigore Roşu Oleg Sokolsky Nikolai Tillmann, . Runtime Verification. Germany: Springer. 2010.