Sami Lazreg -

Not registered as user yet

Name:Sami Lazreg

Affiliation:SnT, University of Luxembourg

Contributions

2023

ESEC/FSE

Author of Towards Strengthening Formal Specifications with Mutation Model Checking within the Ideas, Visions and Reflections-track