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