Journals in DBLP

IEEE Trans. Software Eng.
1997, volume: 23, number: 4

1. Matt Kaufmann, J. Strother Moore
   An Industrial Strength Theorem Prover for a Logic Based on Common Lisp. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:4, pp:203-213 [Journal]
   
2. William D. Young
   Comparing Verification Systems: Interactive Consistency in ACL2. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:4, pp:214-223 [Journal]
   
3. Bard Bloom, Allan Cheng, Ashvin Dsouza
   Using a Protean Language to Enhance Expressiveness in Specification. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:4, pp:224-234 [Journal]
   
4. Erland Jonsson, Tomas Olovsson
   A Quantitative Model of the Security Intrusion Process Based on Attacker Behavior. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:4, pp:235-245 [Journal]
   
5. Filippo Lanubile, Giuseppe Visaggio
   Extracting Reusable Funtions by Flow Graph-Based Program Slicing. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:4, pp:246-259 [Journal]
   
6. Brian Henderson-Sellers
   Corrigenda: Software Size Estimation of Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1997, v:23, n:4, pp:260-261 [Journal]