Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
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

MODELS 2021 Spectra: A Specification Language for Reactive Systems
Show activities from other conferences

Using general profile