PUCCETTI, Armand, DE CHALENDAR, Gaël und GIBELLO, Pierre-Yves, 2021. Combining formal and machine learning techniques for the generation of JML specifications. In: . 13 Juli 2021.
Elsevier - Harvard (with titles)Puccetti, A., de Chalendar, G., Gibello, P.-Y., 2021. Combining formal and machine learning techniques for the generation of JML specifications, in: . https://doi.org/10.1145/3464971.3468425
American Psychological Association 7th editionPuccetti, A., de Chalendar, G., & Gibello, P.-Y. (2021, Juli 13). Combining formal and machine learning techniques for the generation of JML specifications. https://doi.org/10.1145/3464971.3468425
Springer - Basic (author-date)Puccetti A, de Chalendar G, Gibello P-Y (2021) Combining formal and machine learning techniques for the generation of JML specifications
Juristische Zitierweise (Stüber) (Deutsch)Puccetti, Armand/ de Chalendar, Gaël/ Gibello, Pierre-Yves, Combining formal and machine learning techniques for the generation of JML specifications, 2021, .