Emil Sekerinski
Identifiers
- Open LibraryOL7863186A
Top Subjects
- Application software, development (1)
Books by Emil Sekerinski
Total count: 6
-
Program Development by RefinementIsland Press1998-01-01
-
FM 2006 : Formal Methods14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, ProceedingsSpringer London, Limited2006-01-01
-
Integrated Formal Methods11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, ProceedingsSpringer London, Limited2014-01-01
-
From Action Systems to Distributed SystemsThe Refinement ApproachTaylor & Francis Group2016-01-01
-
Formal Methods. FM 2019 International WorkshopsPorto, Portugal, October 7-11, 2019, Revised Selected Papers, Part ISpringer International Publishing AG2020-01-01
-
Formal Methods Teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, ProceedingsSpringer2024-01-01