G. Ramalingam - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

2019

ETAPS

Concurrency Control Contract Composition

FASE

Checking Observational Purity Of Procedures

Show activities from other conferences

ETAPS 2019-profile
View general profile