Conference Papers
Year : 2010
Pascal Fradet : Connect in order to contact the contributor
https://inria.hal.science/hal-00667052
Submitted on : Monday, February 6, 2012-4:56:59 PM
Last modification on : Monday, April 22, 2024-4:24:17 PM
Dates and versions
Identifiers
- HAL Id : hal-00667052 , version 1
Cite
Pascal Fradet, Jean-Louis Giavitto, Marnes Hoff. Refinement of Chemical Programs using Strategies. International workshop on strategies in rewriting, proving and programming, Jul 2010, Edimburg, United Kingdom. ⟨hal-00667052⟩
Collections
286
View
0
Download