Taha Boukhobza

Taha Boukhobza is an author at Centre National de la Recherche Scientifique specializing in engineering, systems engineering, and formal verification.

Publications per year

1996–2017

23

Publications

23