A Refinement Calculus for Shared-Variabl
β
J. Dingel
π
Article
π
2002
π
Springer
π
English
β 527 KB