%0 Book Section %1 Leuschel2005 %A Leuschel, Michael %A Butler, Michael %B Formal Methods and Software Engineering %D 2005 %E Lau, Kung-Kiu %E Banach, Richard %I Springer Berlin / Heidelberg %K %P 345-359 %T Automatic Refinement Checking for B %U http://dx.doi.org/10.1007/11576280_24 %V 3785

@incollection{Leuschel2005, added-at = {2010-12-02T00:41:43.000+0100}, affiliation = {School of Electronics and Computer Science, University of Southampton, Highfield, Southampton, SO17 1BJ UK}, author = {Leuschel, Michael and Butler, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2125dbfafd9dce7799ae0ed2430a9bf64/tasawer}, booktitle = {Formal Methods and Software Engineering}, editor = {Lau, Kung-Kiu and Banach, Richard}, interhash = {0ddaca310e549c7b4e96a16f3e50c975}, intrahash = {125dbfafd9dce7799ae0ed2430a9bf64}, keywords = {}, note = {10.1007/11576280_24}, pages = {345-359}, publisher = {Springer Berlin / Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2010-12-02T00:41:43.000+0100}, title = {Automatic Refinement Checking for B}, url = {http://dx.doi.org/10.1007/11576280_24}, volume = 3785, year = 2005 }