Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 184, number:

1. Augusto Sampaio
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:1-2 [Journal]
   
2. Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota
   Towards Property Oriented Testing. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:3-19 [Journal]
   
3. David Déharbe, Silvio Ranise, Jorgiano Vidal
   Distributing the Workload in a Lazy Theorem-Prover. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:21-37 [Journal]
   
4. Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio
   Using CafeOBJ to Mechanise Refactoring Proofs and Application. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:39-61 [Journal]
   
5. Manuela Xavier, Ana Cavalcanti
   Mechanised Refinement of Procedures. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:63-80 [Journal]
   
6. Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe
   Developing Java Card Applications with B. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:81-96 [Journal]
   
7. Rafael Magalhães Borges, Alexandre Cabral Mota
   Integrating UML and Formal Methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:97-112 [Journal]
   
8. Fábio Pasini, Fernando Luís Dotti
   Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:113-131 [Journal]
   
9. Regivan H. Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes
   Implementing Local Intervals in CASL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:133-149 [Journal]
   
10. Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro
    Stochastic Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:151-170 [Journal]
    
11. David Faitelson, James Welch, Jim Davies
    From Predicates to Programs: The Semantics of a Method Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:171-187 [Journal]
    
12. Carlos Bazílio, Edward Hermann Haeusler, Markus Endler
    Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:189-207 [Journal]
    
13. Rohit Gheyi, Tiago Massoni, Paulo Borba
    A Static Semantics for Alloy and its Impact in Refactorings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:209-233 [Journal]