| |
| 1995 | ||
|---|---|---|
| 2 | François Erasmy, Emil Sekerinski: RAISE. Formal Development of Reactive Systems 1995: 277-293 | |
| 1994 | ||
| 1 | François Erasmy, Emil Sekerinski: Stepwise Refinement of Control Software - A Case Study Using RAISE. FME 1994: 547-566 | |
| 1 | Emil Sekerinski | [1] [2] |