Armand Puccetti -

Registered user since Mon 16 Aug 2021

Name:Armand Puccetti

Contributions

2021

FTfJP

Presenter of Combining Formal and Machine Learning Techniques for the Generation of JML Specifications within the FTfJP-track