Login / Signup

A Model Inference System for Generic Specification with Application to Code Sharing.

Didier BertCatherine Oriat
Published in: TAPSOFT (1995)
Keyphrases