|
Journals in DBLP
Acta Inf. 1998, volume: 35, number: 11
- Hsien-Kuei Hwang
Asymptotic Expansions of the Mergesort Recurrences. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:11, pp:911-919 [Journal]
- Ralph-Johan Back, Michael J. Butler
Fusion and Simultaneous Execution in the Refinement Calculus. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:11, pp:921-949 [Journal]
- Michel Bidoit, Rolf Hennicker
Modular Correctness Proofs of Behavioural Implementations. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:11, pp:951-1005 [Journal]
|