Manel Barkallah - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Wed 28 Jan 2026

Name:Manel Barkallah

Affiliation:University of Namur

Contributions

2026

FM

Learning Formal Methods through Project-Based Modeling of Concurrent Systems with Anemone

Show activities from other conferences

FM 2026-profile
View general profile