![]() |
| 1997 | ||
|---|---|---|
| 1 | Dines Bjørner, S. Koussoube, R. Noussi, G. Satchok: Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. ICFEM 1997: 263- | |
| 1 | Dines Bjørner | [1] |
| 2 | S. Koussoube | [1] |
| 3 | G. Satchok | [1] |