AZZOPARDI, Shaun, COLOMBO, Christian, PACE, Gordon J. und 8 th International Conference on Model-Driven Engineering and Software Development - MODELSWARD, 2020. CLARVA : model-based residual verification of Java programs. In: . Springer. 1 Januar 2020.
Elsevier - Harvard (with titles)Azzopardi, S., Colombo, C., Pace, G.J., 8 th International Conference on Model-Driven Engineering and Software Development - MODELSWARD, 2020. CLARVA : model-based residual verification of Java programs, in: . Springer.
American Psychological Association 7th editionAzzopardi, S., Colombo, C., Pace, G. J., & 8 th International Conference on Model-Driven Engineering and Software Development - MODELSWARD. (2020, Januar 1). CLARVA : model-based residual verification of Java programs.
Springer - Basic (author-date)Azzopardi S, Colombo C, Pace GJ, 8 th International Conference on Model-Driven Engineering and Software Development - MODELSWARD (2020) CLARVA : model-based residual verification of Java programs. Springer
Juristische Zitierweise (Stüber) (Deutsch)Azzopardi, Shaun/ Colombo, Christian/ Pace, Gordon J./ 8 th International Conference on Model-Driven Engineering and Software Development - MODELSWARD, CLARVA : model-based residual verification of Java programs, 2020, .