CIC:Rou99

Yann Rouzaud. Interpreting the B-Method in the Refinement Calculus. In Proc. of the World Congress on Formal Methods, FM'99 (Vol. I), LNCS 1708, J. Wing, J. Woodcock, J. Davies (eds.), Pages 411-430, Toulouse, 1999.

BibTex Reference

@InProceedings{CIC:Rou99,
   Author = {Rouzaud, Yann},
   Title = {{Interpreting the B-Method in the Refinement Calculus}},
   BookTitle = {Proc. of the World Congress on Formal Methods, FM'99 (Vol. I), LNCS 1708},
   editor = {Wing, J. and Woodcock, J. and Davies, J.},
   Pages = {411--430},
   Publisher = {Springer-Verlag},
   Address = {Toulouse},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)