Emil Sekerinski · 7 obras en el catálogoObrasFM 2006Integrated Formal MethodsFFrom Action Systems to Distributed SystemsFrom Action Systems to Distributed SystemsFFormal Methods. FM 2019 International WorkshopsFormal Methods. FM 2019 International WorkshopsFFM 2006 : Formal MethodsFM 2006 : Formal MethodsPProgram Development by RefinementProgram Development by RefinementFFormal Methods TeachingFormal Methods Teaching