Found: 3
Select item for more details and to access through your institution.
Asymptotic expansions of the mergesort recurrences.
- Published in:
- Acta Informatica, 1998, v. 35, n. 11, p. 911, doi. 10.1007/s002360050147
- By:
- Publication type:
- Article
Fusion and simultaneous execution in the refinement calculus.
- Published in:
- Acta Informatica, 1998, v. 35, n. 11, p. 921, doi. 10.1007/s002360050148
- By:
- Publication type:
- Article
Modular correctness proofs of behavioural implementations.
- Published in:
- Acta Informatica, 1998, v. 35, n. 11, p. 951, doi. 10.1007/s002360050149
- By:
- Publication type:
- Article