Conference
Symbolic computation and deduction applied to reverse engineering
Authors
Carette J; Dragon O; Wang Y; Wassyng A
Pagination
pp. 132-134
Publication Date
January 1, 2006
Conference proceedings
Informal Proceedings 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning Calculemus 2006