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