Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Soha Hussein

Registered user since Sun 12 Jul 2020

Name:Soha Hussein
Affiliation:University of Minnesota, USA / Ain Shams University, Egypt

Contributions

FormaliSE 2022 Counterexample-Guided Inductive Repair of Reactive Contracts
Show activities from other conferences

ICSE 2022-profile
View general profile