Journals in DBLP

Sci. Comput. Program.
2007, volume: 67, number: 2-3

1. Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo
   Using semi-formal methods for detecting interactions among smart homes policies. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:67, n:2-3, pp:125-161 [Journal]
   
2. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede
   Formal semantics and analysis of control flow in WS-BPEL. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:67, n:2-3, pp:162-198 [Journal]
   
3. Martin Erwig, Deling Ren
   An update calculus for expressing type-safe program updates. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:67, n:2-3, pp:199-222 [Journal]
   
4. Ward Douglas Maurer
   Generalized structured programs and loop trees. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:67, n:2-3, pp:223-246 [Journal]
   
5. Chris Verhoef
   Quantifying the effects of IT-governance rules. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:67, n:2-3, pp:247-277 [Journal]
   
6. Philip W. L. Fong
   Reasoning about safety properties in a JVM-like environment. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:67, n:2-3, pp:278-300 [Journal]
   
7. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
   Engineering and theoretical underpinnings of retrenchment. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:67, n:2-3, pp:301-329 [Journal]