Zhiqiang Zang - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Registered user since Thu 7 Mar 2019

Name: Zhiqiang Zang

Affiliation: University of Texas at Austin

Contributions

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