Concepedia

Nafi Diallo

ND

Statistics

Publications

2

Citations

23

H-Index

2

Active since

2015

Affiliations

Tunis El Manar University(Current)

Nafi Diallo is an author at Tunis El Manar University specializing in formal methods, verification, and formal verification.

Top concepts

Publications per year

2015–2016

2

Publications

2

Debugging without Testing

Wided Ghardallou, Nafi Diallo, Ali Mili et al. · 2016 · 13 citations

, , +18

Correctness and relative correctness

Nafi Diallo, Wided Ghardallou, Ali Mili · International Conference on Software Engineering · 2015 · 10 citations

, , +25

1–2 of 2