I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Programming by Refinement, as Exemplified by the SETL Repre..:

Dewar, Robert B. K. ; Grand, Arthur ; Liu, Ssu-Cheng..
ACM Transactions on Programming Languages and Systems (TOPLAS).  1 (1979)  1 - p. 27-49 , 1979
Link: https://dl.acm.org/doi/10.1145/357062.357064