
Journals in DBLP
 David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
A formal relationship between program slicing and partial evaluation. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:2, pp:103119 [Journal]
 Steve McKeever, Wayne Luk
Provablycorrect hardware compilation tools based on pass separation techniques. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:2, pp:120142 [Journal]
 Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
The verified software repository: a step towards the verifying compiler. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:2, pp:143151 [Journal]
 Karl Lermer, Colin J. Fidge
Procedure compilation in the refinement calculus. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:2, pp:152180 [Journal]
 Christie Bolton, Jim Davies
A singleton failures semantics for Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:2, pp:181210 [Journal]
 Harald Fecher, Mila E. MajsterCederbaum
Action Refinement Applied to Late Decisions. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:2, pp:211230 [Journal]
 Regivan H. Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly
Formal Aspects of Correctness and Optimality of Interval Computations. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:2, pp:231243 [Journal]
 Sabine Glesner
Finite Integer Computations: An Algebraic Foundation for Their Correctness. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:2, pp:244262 [Journal]
