author : Yann Rouzaud

Short works

• Interpreting the B-Method in the Refinement Calculus. 1999. (In FM'99 volume 1 )