Thomas Wies - SPLASH 2022

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Registered user since Fri 10 Apr 2015

Name:Thomas Wies

Country:United States

Affiliation:New York University

Personal website: https://cs.nyu.edu/wies/

Contributions

2022

SPLASH

A Concurrent Program Logic with a Future and History

Show activities from other conferences

SPLASH 2022-profile
View general profile