Journals in DBLP

Journal of Object Technology
2004, volume: 3, number: 6

1. Davide Ancona, Giovanni Lagorio
   Stronger Typings for Separate Compilation of Java-like Languages . [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2004, v:3, n:6, pp:5-25 [Journal]
   
2. Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
   Verification of Object-Oriented Programs with Invariants. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2004, v:3, n:6, pp:27-56 [Journal]
   
3. Patrice Chalin
   JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2004, v:3, n:6, pp:57-79 [Journal]
   
4. Stephen N. Freund, Shaz Qadeer
   Checking Concise Specifications for Multithreaded Software. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2004, v:3, n:6, pp:81-101 [Journal]
   
5. Christoph von Praun, Thomas R. Gross
   Static Detection of Atomicity Violations in Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2004, v:3, n:6, pp:103-122 [Journal]