Dependency Analysis of Functional Specifications with Algebraic Data Structures.

Oana Fabiana Andreescu, Thomas P. Jensen, Stphane Lescuyer

Browse the full ICFEM paper archive.