Journals in DBLP

Formal Methods in System Design
2002, volume: 20, number: 1

1. Dominique Méry, Beverly A. Sanders
   Editorial Note. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:1, pp:5- [Journal]
   
2. K. Mani Chandy, Michel Charpentier
   An Experiment in Program Composition and Proof. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:1, pp:7-21 [Journal]
   
3. Jayadev Misra
   A Simple, Object-Based View of Multiprogramming. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:1, pp:23-45 [Journal]
   
4. Gruia-Catalin Roman, Peter J. McCann
   A Notation and Logic for Mobile Computing. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:1, pp:47-68 [Journal]
   
5. Jean-Paul Bodeveix, Mamoun Filali
   Reduction and Quantifier Elimination Techniques for Program Validation. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:1, pp:69-89 [Journal]
   
6. Ruben Gamboa
   The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:1, pp:91-106 [Journal]
   
7. Ratan Nalumasu, Ganesh Gopalakrishnan
   Deriving Efficient Cache Coherence Protocols Through Refinement. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:1, pp:107-125 [Journal]