Login / Signup
Yves Ledru
Publication Activity (10 Years)
Years Active: 1990-2023
Publications (10 Years): 16
Top Topics
Domain Specific
Formal Methods
Natural Language Processing
Medical Devices
Top Venues
FormaliSE@ICSE
RSSRail
Ingénierie des Systèmes d Inf.
Innov. Syst. Softw. Eng.
</>
Publications
</>