FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Kenneth Johnson

Registered user since Tue 22 Feb 2022

Name:Kenneth Johnson
Country:New Zealand
Affiliation:Auckland University of Technology
Research interests:Formal Methods, Self-Adaptive Systems, Software Engineering

Contributions

Show activities from other conferences

Using general profile