Journals in DBLP

Sci. Comput. Program.
1985, volume: 5, number: 2

1. Bertrand Meyer, Jean-Marc Nerson, Soon Hae Ko
   Showing Programs on a Screen. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1985, v:5, n:2, pp:111-142 [Journal]
   
2. Lawrence C. Paulson
   Verifying the Unification Algorithm in LCF. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1985, v:5, n:2, pp:143-169 [Journal]
   
3. Jan A. Bergstra, J. V. Tucker
   Top-Down Design and the Algebra of Communicating Processes. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1985, v:5, n:2, pp:171-199 [Journal]
   
4. Jean-Pierre Finance, Jeanine Souquières
   A method and a language for constructing iterative programs. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1985, v:5, n:2, pp:201-218 [Journal]