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