FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
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