Chimento, J. M., Ahrendt, W., Pace, G. J., & Schneider, G. (2015). StaRVOOrS: A tool for combined static and runtime verification of Java ; Runtime verification. Lecture notes in computer science. https://doi.org/10.1007/978-3-319-23820-3_21
Παραπομπή σε μορφή Chicago (17η εκδ.)Chimento, Jesús Mauricio, Wolfgang Ahrendt, Gordon J. Pace, και Gerardo Schneider. StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java ; Runtime Verification. Lecture Notes in Computer Science. 2015. https://doi.org/10.1007/978-3-319-23820-3_21.
Παραπομπή σε μορφή MLA (9th εκδ.)Chimento, Jesús Mauricio, et al. StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java ; Runtime Verification. Lecture Notes in Computer Science. 2015. https://doi.org/10.1007/978-3-319-23820-3_21.