Write a Blog >>
Shahar Maoz

Registered user since Tue 30 Jun 2015

Name:Shahar Maoz
Country:Israel
Affiliation:Tel Aviv University, Israel
Research interests:Software engineering, modeling, formal methods

Contributions

ESEC/FSE 2020 Conversations on Analysis 4
Inherent Vacuity for GR(1) Specifications
Welcome Panel #3
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile