Login / Signup
Farid Arfi
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 3
Top Topics
Data Abstraction
Specification Languages
Refinement Process
Timed Automata
Top Venues
Int. J. Simul. Process. Model.
IET Softw.
QSHINE
ISSREW
</>
Publications
</>