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

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. In ICFEM. pages 263, 1997.

Abstract

Abstract is missing.