conf.researchr.org / Gaël de Chalendar
Registered user since Mon 5 Jul 2021
Name:Gaël de Chalendar
Contributions
| FTfJP 2021 | Author of Combining Formal and Machine Learning Techniques for the Generation of JML Specifications within the FTfJP-track |
Registered user since Mon 5 Jul 2021
Contributions
| FTfJP 2021 | Author of Combining Formal and Machine Learning Techniques for the Generation of JML Specifications within the FTfJP-track |