Not registered as user yet

Name:Atrisha Sarkar
Affiliation:University of Waterloo, Canada

Contributions

‹Programming› 2019 Author of Clafer: Lightweight Modeling of Structure, Behaviour, and Variability within the Research Papers-track