S. Koussoube

According to our database, S. Koussoube authored at least 1 paper in 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1997

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

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997