Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 35, Number 11, 1998

Asymptotic expansions of the mergesort recurrences
pp. 911-920(10)
Author: Hwang, H.-K.

Favourites:
ADD

Fusion and simultaneous execution in the refinement calculus
pp. 921-950(30)
Authors: Back, R.-J.; Butler, M.

Favourites:
ADD

Modular correctness proofs of behavioural implementations
pp. 951-1005(55)
Authors: Bidoit, M.; Hennicker, R.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more