Emil Sekerinskiの本 - BookPine

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

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

Emil Sekerinski

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

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

Emil Sekerinski

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

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

Emil Sekerinski

From Action Systems to Distributed Systems: The Refinement Approach

From Action Systems to Distributed Systems: The Refinement Approach

Luigia Petre

Program Development by Refinement: Case Studies Using the B Method

Program Development by Refinement: Case Studies Using the B Method

Emil Sekerinski

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

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

Jayadev Misra

Program Development by Refinement: Case Studies Using the B Method

Program Development by Refinement: Case Studies Using the B Method

Emil Sekerinski