Login / Signup
Racem Bougacha
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Dynamic Aspects
High Level
Decomposition Methods
Formal Specification
Top Venues
CRiSIS
TASE
ICECCS
ENASE
</>
Publications
</>