CHIMENTO, Jesús Mauricio, AHRENDT, Wolfgang, PACE, Gordon J. and SCHNEIDER, Gerardo, 2015. Sta RVOOr S : a tool for combined static and runtime verification of Java ; Runtime verification. Lecture notes in computer science. Springer, Cham.
Elsevier - Harvard (with titles)Chimento, J.M., Ahrendt, W., Pace, G.J., Schneider, G., 2015. Sta RVOOr S : a tool for combined static and runtime verification of Java ; Runtime verification. Lecture notes in computer science. Springer, Cham. https://doi.org/10.1007/978-3-319-23820-3_21
American Psychological Association 7th editionChimento, J. M., Ahrendt, W., Pace, G. J., & Schneider, G. (2015). Sta RVOOr S : a tool for combined static and runtime verification of Java ; Runtime verification. Lecture notes in computer science. Springer, Cham. https://doi.org/10.1007/978-3-319-23820-3_21
Springer - Basic (author-date)Chimento JM, Ahrendt W, Pace GJ, Schneider G (2015) Sta RVOOr S : a tool for combined static and runtime verification of Java ; Runtime verification. Lecture notes in computer science. Springer, Cham
Juristische Zitierweise (Stüber) (Deutsch)Chimento, Jesús Mauricio/ Ahrendt, Wolfgang/ Pace, Gordon J./ Schneider, Gerardo, Sta RVOOr S : a tool for combined static and runtime verification of Java ; Runtime verification. Lecture notes in computer science, 2015.