Journals in DBLP

IEEE Trans. Software Eng.
1977, volume: 3, number: 3

1. Ben Wegbreit
   Constructive Methods in Program Verification. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1977, v:3, n:3, pp:193-209 [Journal]
   
2. Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
   Extending Concurrent Pascal to Allow Dynamic Resource Management. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1977, v:3, n:3, pp:210-217 [Journal]
   
3. Phyllis Reisner
   Use of Psychological Experimentation as an Aid to Development of a Query Language. [Citation Graph (16, 0)][DBLP]
   IEEE Trans. Software Eng., 1977, v:3, n:3, pp:218-229 [Journal]
   
4. Edmund B. Daly
   Management of Software Development. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1977, v:3, n:3, pp:229-242 [Journal]
   
5. William H. Harrison
   Compiler Analysis of the Value Ranges for Variables. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1977, v:3, n:3, pp:243-250 [Journal]
   
6. Stuart H. Zweben
   A Study of the Physical Structure of Algorithms. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1977, v:3, n:3, pp:250-258 [Journal]
   
7. Warren V. Camp, T. G. Lewis
   Implementing a Pseudorandom Number Generator on a Minicomputer. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1977, v:3, n:3, pp:259-262 [Journal]
   
8. David Gries
   Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs". [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1977, v:3, n:3, pp:262- [Journal]