![Ana Sokolova](https://conf.researchr.org/getProfileImage/anasokolova/c7985cb3-1543-4053-ae8c-0dbc7edd6888/small.jpg?1711467598000)
Registered user since Tue 6 Jun 2017
Name:Ana Sokolova
Country:Austria
Affiliation:University of Salzburg
Personal website: http://cs.uni-salzburg.at/~anas/
Research interests:Formal Methods, Concurrency Theory, Semantics, Coalgebra
Contributions
Using general profile