author-photo

Armand Puccetti

University of Paris

1

Papers

0

Citations

Citation Trend

Filter By

Papers (1) Sort By

Journal Conference Others

Combining formal and machine learning techniques for the generation of JML specifications

2021 FTfJP | Formal Techniques for Java-like Programs
Show All
- Source
- Cite
- Save
Citations (0)