Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2008, volume: 217, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   A Comparative Study of Industrial Static Analysis Tools. [Citation Graph (, )][DBLP]
   
   
3. 
   Pervasive Compiler Verification - From Verified Programs to Verified Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Structured Types and Separation Logic. [Citation Graph (, )][DBLP]
   
   
5. 
   A Logic for Virtual Memory. [Citation Graph (, )][DBLP]
   
   
6. 
   A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. [Citation Graph (, )][DBLP]
   
   
7. 
   Specification of Conditions for Error Diagnostics. [Citation Graph (, )][DBLP]
   
   
8. 
   Symbolic and Abstract Interpretation for C/C++ Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   Proving Correctness of an Efficient Abstraction for Interrupt Handling. [Citation Graph (, )][DBLP]
   
   
10. 
    CVM - A Verified Framework for Microkernel Programmers. [Citation Graph (, )][DBLP]
    
    
11. 
    Correct Microkernel Primitives. [Citation Graph (, )][DBLP]
    
    
12. 
    Verified Safety and Information Flow of a Block Device. [Citation Graph (, )][DBLP]
    
    
13. 
    Reliable UML Models and Profiles. [Citation Graph (, )][DBLP]
    
    
14. 
    The HiVe Writer. [Citation Graph (, )][DBLP]