FormaliSE 2027
Mon 26 - Tue 27 April 2027 Dublin, Ireland
co-located with ICSE 2027
Ioannis Stefanakos

Registered user since Tue 6 Aug 2024

Name:Ioannis Stefanakos
Country:United Kingdom
Affiliation:University of York
Research interests:formal methods, software engineering, autonomous and self-adaptive systems

Contributions

Show activities from other conferences

Using general profile