Journals in DBLP

Sci. Comput. Program.
2007, volume: 64, number: 3

1. Manfred Broy
   Editorial comment to 'About "trivial" software patents: The IsNot case'. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:3, pp:263- [Journal]
   
2. Jan A. Bergstra, Paul Klint
   About "trivial" software patents: The IsNot case. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:3, pp:264-285 [Journal]
   
3. Ian J. Hayes
   Procedures and parameters in the real-time program refinement calculus. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:3, pp:286-311 [Journal]
   
4. Mark Burgess, Trond Reitan
   A risk analysis of disk backup or repository maintenance. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:3, pp:312-331 [Journal]
   
5. Jean-Christophe Filliâtre
   Formal proof of a program: Find. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:3, pp:332-340 [Journal]
   
6. Hui Gao, Jan Friso Groote, Wim H. Hesselink
   Lock-free parallel and concurrent garbage collection by mark&sweep. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:3, pp:341-374 [Journal]