Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
POPL 2021 (series) / Orna Grumberg

Registered user since Sun 17 Jul 2016

Name:Orna Grumberg
Country:Israel
Affiliation:Technion – Israel Institute of Technology

Contributions

VMCAI 2021 Compositional Model Checking for Multi-Properties
Committee Member in Program Committee within the VMCAI-track
Session Chair of Infinite-State Systems and Compilation (part of VMCAI)
Show activities from other conferences

POPL 2021-profile
View general profile