Hybrid interpretation of induction results

X. Wu. Hybrid interpretation of induction results. In IFIP World Conference on IT Tools. 1996.

Bibliographies