Search results for: Mohamed Nassim Seghir
2016 IEEE Cybersecurity Development (SecDev) > 94 - 100
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 351-365
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Part 3. System Demonstrations > 226-235