Symbolic computation and deduction applied to reverse engineering Conferences

Overview
Additional Document Info
View All

authors

Carette, Jacques
Dragon, O
Wang, Y
Wassyng, Alan

status

published

publication date

January 1, 2006

published in

Informal Proceedings 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning Calculemus 2006 Journal