Login / Signup
Si-Mohamed Lamraoui
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Max Sat
Fault Localization
Data Abstraction
Imperative Programs
Top Venues
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
ICECCS
SOFL+MSVL
CyPhy
</>
Publications
</>