E
Emil Sekerinski
7 works on record
Works

FM 2006

Integrated Formal Methods
From Action Systems to Distributed Systems
From Action Systems to Distributed Systems
Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
Program Development by Refinement
Program Development by Refinement
FM 2006 : Formal Methods
FM 2006 : Formal Methods
Formal Methods Teaching
Formal Methods Teaching