Journals in DBLP

Formal Asp. Comput.
2007, volume: 19, number: 2

1. J. Cooke
   Editorial (VSTTE Special Issue). [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:2, pp:137-138 [Journal]
   
2. Patrice Chalin
   Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:2, pp:139-158 [Journal]
   
3. Gary T. Leavens, K. Rustan M. Leino, Peter Müller
   Specification and verification challenges for sequential object-oriented programs. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:2, pp:159-189 [Journal]
   
4. Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur
   Code-carrying theories. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:2, pp:191-203 [Journal]
   
5. David A. Naumann
   On assertion-based encapsulation for object invariants and simulations. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:2, pp:205-224 [Journal]
   
6. Egon Börger
   Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:2, pp:225-241 [Journal]
   
7. Aysu Betin-Can, Tevfik Bultan
   Highly dependable concurrent programming using design for verification. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:2, pp:243-268 [Journal]
   
8. Rajeev Joshi, Gerard J. Holzmann
   A mini challenge: build a verifiable filesystem. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:2, pp:269-272 [Journal]
   
9. Nikos Gorogiannis, Mark Ryan
   Minimal refinements of specifications in modal and temporal logics. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:2, pp:273- [Journal]