SPLASH 2022 (series) / Mohsen Lesani

Registered user since Wed 21 Oct 2015
Name:Mohsen Lesani
Affiliation:University of California at Riverside
Personal website:http://www.cs.ucr.edu/~lesani/
Contributions
SPLASH 2022 | Session Chair of Logic and Concurrency (part of OOPSLA) C4: verified transactional objects | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile