Journals in DBLP

Formal Methods in System Design
2005, volume: 27, number: 1-2

1. Milos Besta, Frank A. Stomp
   A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:1-2, pp:5-17 [Journal]
   
2. Sharon Barner, Orna Grumberg
   Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:1-2, pp:29-66 [Journal]
   
3. Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham
   A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:1-2, pp:67-112 [Journal]
   
4. Alberto Verdejo, Narciso Martí-Oliet
   Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:1-2, pp:113-172 [Journal]
   
5. Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk
   Formalization of Fixed-Point Arithmetic in HOL. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:1-2, pp:173-200 [Journal]