Journals in DBLP

Concurrency - Practice and Experience
2004, volume: 16, number: 7

1. 
   Special Issue: Formal Techniques for Java-like Programs. [Citation Graph (0, 0)][DBLP]
   Concurrency - Practice and Experience, 2004, v:16, n:7, pp:645-646 [Journal]
   
2. Alessandro Coglio
   Simple verification technique for complex Java bytecode subroutines. [Citation Graph (0, 0)][DBLP]
   Concurrency - Practice and Experience, 2004, v:16, n:7, pp:647-670 [Journal]
   
3. Alex Potanin, James Noble, Robert Biddle
   Checking ownership and confinement. [Citation Graph (0, 0)][DBLP]
   Concurrency - Practice and Experience, 2004, v:16, n:7, pp:671-687 [Journal]
   
4. Norbert Schirmer
   Analysing the Java package/access concepts in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   Concurrency - Practice and Experience, 2004, v:16, n:7, pp:689-706 [Journal]
   
5. Andrew Kennedy, Don Syme
   Transposing F to C^#: expressivity of parametric polymorphism in an object-oriented language. [Citation Graph (0, 0)][DBLP]
   Concurrency - Practice and Experience, 2004, v:16, n:7, pp:707-733 [Journal]