Login / Signup
G. Satchok
Publication Activity (10 Years)
Years Active: 1997-1997
Publications (10 Years): 0
</>
Publications
</>
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)