ABZ 2026 – 12th International Conference on Rigorous State Based Methods
Organization
Program Chairs
-
Fuyuki Ishikawa, National Institute of Informatics, Tokyo, Japan
-
Alcino Cunha, INESC TEC & University of Minho, Braga, Portugal
Fuyuki Ishikawa, National Institute of Informatics, Tokyo, Japan
Alcino Cunha, INESC TEC & University of Minho, Braga, Portugal