Search Results - Sekerinski, E. (Emil), 1963-

Formal methods teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, proceedings /

Other Authors: “…Sekerinski, E. (Emil), 1963-…”
Full Text (via Springer)

Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /

Other Authors: “…Sekerinski, E. (Emil), 1963-…”
Full Text (via Springer)

From action systems to distributed systems : the refinement approach /

Other Authors: “…Sekerinski, E. (Emil), 1963-…”
Full Text (via Taylor & Francis)

Program development by refinement : case studies using the B method /

Other Authors: “…Sekerinski, E. (Emil), 1963-…”

Formal methods FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.

Other Authors: “…Sekerinski, E. (Emil), 1963-…”
Full Text (via Springer)

Formal methods FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.

Other Authors: “…Sekerinski, E. (Emil), 1963-…”
Full Text (via Springer)

FM 2006 formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /

Other Authors: “…Sekerinski, E. (Emil), 1963-…”

FM 2006 formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /

Other Authors: “…Sekerinski, E. (Emil), 1963-…”
Full Text (via Springer)