ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Grigore Roşu

Registered user since Thu 5 Mar 2015

Name:Grigore Roşu
Affiliation:University of Illinois at Urbana-Champaign
Research interests:PL, FM, SE

Contributions

SPLASH 2020 Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic
Show activities from other conferences

SPLASH 2020-profile
View general profile