%0 Thesis %1 nickson_04_tool %A Nickson, Ray %D 2004 %K refinement 2004 1994 tool _to_review _to_download %T Tool Support for the Refinement Calculus %U http://scholar.google.com/url?sa=U&q=http://www.mcs.vuw.ac.nz/~nickson/thesis/first.ps

@phdthesis{nickson_04_tool, added-at = {2009-02-12T11:19:22.000+0100}, author = {Nickson, Ray}, biburl = {https://www.bibsonomy.org/bibtex/234744ac1e92bfc268643ef144b1696d0/leonardo}, citeulike-article-id = {791064}, interhash = {84e51dc05cf159686c9d057f274f37c7}, intrahash = {34744ac1e92bfc268643ef144b1696d0}, keywords = {refinement 2004 1994 tool _to_review _to_download}, posted-at = {2006-08-09 16:48:33}, priority = {2}, school = {Victoria University of Wellington}, timestamp = {2009-02-12T11:19:22.000+0100}, title = {Tool Support for the Refinement Calculus}, url = {http://scholar.google.com/url?sa=U&q=http://www.mcs.vuw.ac.nz/~{}nickson/thesis/first.ps}, year = 2004 }