Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 240, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   A Case Study in JML-Assisted Software Development. [Citation Graph (, )][DBLP]
   
   
3. 
   Stateflow Diagrams in Circus. [Citation Graph (, )][DBLP]
   
   
4. 
   Formal Verification of Graph Grammars using Mathematical Induction. [Citation Graph (, )][DBLP]
   
   
5. 
   Specification and Runtime Verification of Java Card Programs. [Citation Graph (, )][DBLP]
   
   
6. 
   Verified Compilation and the B Method: A Proposal and a First Appraisal. [Citation Graph (, )][DBLP]
   
   
7. 
   Model Checking Merged Program Traces. [Citation Graph (, )][DBLP]
   
   
8. 
   Combining Decision Procedures by (Model-)Equality Propagation. [Citation Graph (, )][DBLP]
   
   
9. 
   Checking Z Data Refinements Using Traces Refinement. [Citation Graph (, )][DBLP]
   
   
10. 
    Multiple Synchrony in MSC. [Citation Graph (, )][DBLP]
    
    
11. 
    Symbolic Model-based Test Selection. [Citation Graph (, )][DBLP]
    
    
12. 
    Transforming Programs into Recursive Functions. [Citation Graph (, )][DBLP]
    
    
13. 
    Mechanised Wire-wise Verification of Handel-C Synthesis. [Citation Graph (, )][DBLP]
    
    
14. 
    A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. [Citation Graph (, )][DBLP]
    
    
15. 
    Mechanical Reasoning about Families of UTP Theories. [Citation Graph (, )][DBLP]