
Journals in DBLP
 Marc Bezem, Roland N. Bol, Jan Friso Groote
Formalizing Process Algebraic Verifications in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:1, pp:148 [Journal]
 Jens Palsberg, Mitchell Wand, Patrick O'Keefe
Type Inference with NonStructural Subtyping. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:1, pp:4967 [Journal]
 M. J. A. Caswell
Equivalence of Formal Semantics Definition Methods. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:1, pp:6877 [Journal]
 Susumu Nishimura
A Strict Functional Language with Cyclic Recursive Data. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:1, pp:7897 [Journal]
 Stein Krogdahl, Olav Lysne
Verifying a Distributed List System: A Case History. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:1, pp:98118 [Journal]
