Mohamed Iguernlala

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout
Formally Documenting Tenderbake (Short Paper). FMBC@CAV (2021)
Pierre Roux, Mohamed Iguernlala, Sylvain Conchon
A Non-linear Arithmetic Procedure for Control-Command Software Verification. TACAS (2) (2018)