Journals in DBLP

IEEE Trans. Software Eng.
1978, volume: 4, number: 5

1. Per Brinch Hansen, Jørgen Staunstrup
   Specification and Implementation of Mutual Exclusion. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1978, v:4, n:5, pp:365-370 [Journal]
   
2. Nissim Francez
   An Application of a Method for Analysis of Cyclic Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1978, v:4, n:5, pp:371-378 [Journal]
   
3. Shmuel Katz
   Program Optimization Using Invariants. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1978, v:4, n:5, pp:378-389 [Journal]
   
4. Thomas F. Gannon, Stephen D. Shapiro
   An Optimal Approach to Fault Tolerant Software Systems Design. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1978, v:4, n:5, pp:390-409 [Journal]
   
5. Jayadev Misra
   An Approach to Formal Definitions and Proofs of Programming Principles. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1978, v:4, n:5, pp:410-413 [Journal]
   
6. Kuo-Chung Tai
   Syntactic Error Correction in Programming Languages. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1978, v:4, n:5, pp:414-425 [Journal]
   
7. Armin B. Cremers, Thomas N. Hibbard
   Formal Modeling of Virtual Machines. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1978, v:4, n:5, pp:426-436 [Journal]
   
8. Y. H. Chin
   An Analysis of ``Distributed Free Space'' in an Operating and Data Management Systems Environment. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1978, v:4, n:5, pp:436-440 [Journal]
   
9. Richard C. T. Lee, James R. Slagle, C. T. Mong
   Towards Automatic Auditing of Records. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1978, v:4, n:5, pp:441-448 [Journal]