Emil Sekerinski

关于作者

Emil Sekerinski is a notable figure in the realm of formal methods, contributing significantly to the field through his research and publications. His work has been particularly influential in advancing the understanding and application of formal verification techniques. Sekerinski's contributions are recognized in various international workshops where he has presented his findings, notably at the FM 2019 International Workshops in Porto, Portugal, which focused on revised selected papers relating to formal methods.