%0 Conference Proceedings
%F IWS10
%A Fradet, P.
%A Giavitto, J-L.
%A Hoff, M.
%T Refinement of Chemical Programs using Strategies
%B International Workshop on Strategies in Rewriting, Proving, and Programming, IWS'2010
%U http://iws2010.inria.fr/
%8 July
%D 2010