Sciweavers

KBSE
2002
IEEE

Experience Report on Automated Procedure Construction for Deductive Synthesis

14 years 5 months ago
Experience Report on Automated Procedure Construction for Deductive Synthesis
Steve Roach, Jeffrey Van Baalen
Added 15 Jul 2010
Updated 15 Jul 2010
Type Conference
Year 2002
Where KBSE
Authors Steve Roach, Jeffrey Van Baalen
Comments (0)