FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Radu Calinescu

Registered user since Thu 25 Jan 2018

Name:Radu Calinescu
Country:United Kingdom
Affiliation:University of York, UK
Research interests:software engineering, formal methods, self-adaptive systems

Contributions

Show activities from other conferences

Using general profile