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] |