Salma Messaoudi

SM

Statistics

Publications

2

Citations

162

H-Index

2

Active since

2018

Affiliations

Salma Messaoudi is an author at University of Luxembourg specializing in formal verification, system software, and program analysis.

Publications per year

2018–2021

2

Publications

2