Sofiene Tahar profile picture

Sofiene Tahar

Is this your author profile? Create an account to customize it!

Stand Alone

Theorem Proving in Higher Order Logics
Watermarking Techniques for Intellectual Property Protection in SOC
Formal Methods and Software Engineering