Amina Bourouis

AB

Statistics

Publications

1

Citations

25

H-Index

1

Active since

2016

Affiliations

Amina Bourouis is an author at Université Sorbonne Paris Nord specializing in deductive verification, security property verification, and opacity.

Publications per year

2016–2016

1

Publications

1