Search results for: Emil Sekerinski
Computer Languages, Systems & Structures > 2018 > 51 > C > 90-101
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 182-197
Lecture Notes in Computer Science > ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools > Statecharts > 376-390
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 82-101
Lecture Notes in Computer Science > Integrated Formal Methods > Statecharts and B: Integration and Translation > 128-144