Junhao Li - ICSME 2026 - International Conference on Software Maintenance and Evolution

Mon 14 - Fri 18 September 2026 Benevento, Italy

Not registered as user

Name:Junhao Li

Country:Finland

Affiliation:University of Oulu

Contributions

2026

ICSME

A Lightweight Neuro-Symbolic Approach for Alloy Counterexample Explanation

Show activities from other conferences

ICSME 2026-profile
View general profile