AHRENDT, Wolfgang, CHIMENTO, Jesús Mauricio, PACE, Gordon J., SCHNEIDER, Gerardo und 27 th Nordic Workshop on Programming Theory (NWPT 2015), 2015. Sta RVOOr S : unifying static and runtime verification of Java. In: . Reykjavik University. 1 Januar 2015.
Elsevier - Harvard (with titles)Ahrendt, W., Chimento, J.M., Pace, G.J., Schneider, G., 27 th Nordic Workshop on Programming Theory (NWPT 2015), 2015. Sta RVOOr S : unifying static and runtime verification of Java, in: . Reykjavik University.
American Psychological Association 7th editionAhrendt, W., Chimento, J. M., Pace, G. J., Schneider, G., & 27 th Nordic Workshop on Programming Theory (NWPT 2015). (2015, Januar 1). Sta RVOOr S : unifying static and runtime verification of Java.
Springer - Basic (author-date)Ahrendt W, Chimento JM, Pace GJ, Schneider G, 27 th Nordic Workshop on Programming Theory (NWPT 2015) (2015) Sta RVOOr S : unifying static and runtime verification of Java. Reykjavik University
Juristische Zitierweise (Stüber) (Deutsch)Ahrendt, Wolfgang/ Chimento, Jesús Mauricio/ Pace, Gordon J./ Schneider, Gerardo/ 27 th Nordic Workshop on Programming Theory (NWPT 2015), Sta RVOOr S : unifying static and runtime verification of Java, 2015, .