Mara Miulescu - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Thu 19 Mar 2026

Name:Mara Miulescu

Country:Netherlands

Affiliation:Eindhoven University of Technology

Contributions

2026

FM

A Method for Testing Partial-Order Reduction Theories in Alloy

Show activities from other conferences

FM 2026-profile
View general profile