NASA Formal Methods 2024 (series) / Radu Calinescu
Registered user since Thu 25 Jan 2018
Name:Radu Calinescu
Country:United Kingdom
Affiliation:University of York, UK
Personal website: https://www-users.cs.york.ac.uk/raduc/
Research interests:software engineering, formal methods, self-adaptive systems
Contributions
NASA Formal Methods 2024-profile
View general profile
View general profile