Login / Signup

A method of acquiring formal specifications from examples.

Lu Jian
Published in: ACM SIGSOFT Softw. Eng. Notes (1992)
Keyphrases