publication venue for Mining Maple code for contracts 2006 Partial evaluation and residual theorems in computer algebra 2006 Symbolic computation and deduction applied to reverse engineering 2006
