Correlating Structured Inputs and Outputs in Functional Specifications.

Oana Fabiana Andreescu, Thomas P. Jensen, Stphane Lescuyer

Browse the full SEFM paper archive.