|
Journals in DBLP
- Ray Nickson, Ian J. Hayes
Supporting Contexts in Program Refinement. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:29, n:3, pp:279-302 [Journal]
- Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
A New Approach to Compiling Adaptive Programs. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:29, n:3, pp:303-326 [Journal]
- F. W. van der Sommen, W. H. J. Feijen, A. J. M. van Gasteren
Peterson's Mutual Exclusion Algorithm Revisited. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:29, n:3, pp:327-334 [Journal]
|