Emil Sekerinski

No bio available. Add one in Open Library.

Books by Emil Sekerinski (50 max)

+ shelf+ list

From Action Systems to Distributed Systems The Refinement Approach

2016

Luigia Petre, Emil Sekerinski

+ shelf+ list

Program Development by Refinement

1998

Emil Sekerinski, Kaisa Sere

+ shelf+ list

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

2014

Elvira Albert, Emil Sekerinski

+ shelf+ list

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

2020

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti

+ shelf+ list

FM 2006 : Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

2006

Jayadev Misra, Tobias Nipkow, Emil Sekerinski

+ shelf+ list

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science)

2006

Jayadev Misra, Tobias Nipkow, Emil Sekerinski

+ shelf+ list

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

2024

Emil Sekerinski, Leila Ribeiro