Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools.

Dines Bjrner, S. Koussoube, R. Noussi, G. Satchok

Browse the full ICFEM paper archive.