Elicitation and Verification of a Functional Specification.

Bernard S. Doherty, B. Pauly, J. Barthelemy

Browse the full ECAI paper archive.