SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / SAS 2020 (series) / Milos Gligoric
Milos Gligoric

Registered user since Mon 18 Dec 2017

Name: Milos Gligoric

Affiliation: University of Texas at Austin

Contributions

SySEPL 2020 Committee Member in Program Committee within the SySEPL 2020-track
SPLASH 2020 Unifying Execution of Imperative Generators and Declarative Specifications
Unifying Execution of Imperative Generators and Declarative Specifications
Show activities from other conferences

SPLASH 2020-profile
View general profile