FSEN 2025
Mon 7 - Tue 8 April 2025 Västerås, Sweden
Ana Sokolova

Registered user since Tue 6 Jun 2017

Name:Ana Sokolova
Country:Austria
Affiliation:University of Salzburg
Research interests:Formal Methods, Concurrency Theory, Semantics, Coalgebra

Contributions

Show activities from other conferences

Using general profile