Journals in DBLP

Sci. Comput. Program.
1993, volume: 20, number: 3

1. F. Vivarès
   Modelling Jackson's Programming Method. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1993, v:20, n:3, pp:173-204 [Journal]
   
2. David B. Skillicorn
   Deriving Parallel Programs from specification Susing Cost Information. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1993, v:20, n:3, pp:205-221 [Journal]
   
3. Ralph-Johan Back, Joakim von Wright
   Statement Inversion and Strongest Postcondition. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1993, v:20, n:3, pp:223-251 [Journal]
   
4. Jules Desharnais, Ali Mili, Fatma Mili
   On the Mathematics of Sequential Decompositions. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1993, v:20, n:3, pp:253-289 [Journal]