ETAPS 2019 (series) / G. Ramalingam

Registered user since Fri 1 Jul 2016
Name:G. Ramalingam
Country:India
Affiliation:Microsoft Research
Personal website:https://www.microsoft.com/en-us/research/people/grama/
Contributions
FASE 2019 | Checking Observational Purity Of Procedures | ||||||||||||||||||||||||||||||||||||||||
ETAPS 2019 | Concurrency Control Contract Composition | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile