G. Satchok

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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-

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-

Coauthor Index

1 Dines Bjørner [1]

2 S. Koussoube [1]

3 R. Noussi [1]