Journals in DBLP

Sci. Comput. Program.
2005, volume: 57, number: 2

1. Niels P. Veerman
   Towards lightweight checks for mass maintenance transformations. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:57, n:2, pp:129-163 [Journal]
   
2. Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking
   A transactional object calculus. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:57, n:2, pp:164-186 [Journal]
   
3. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
   Formal specification of multi-agent e-barter systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:57, n:2, pp:187-216 [Journal]
   
4. Enrico Denti, Andrea Omicini, Alessandro Ricci
   Multi-paradigm Java-Prolog integration in tuProlog. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:57, n:2, pp:217-250 [Journal]