A Formal Definition of Function Points for Automated Measurement of B Specifications.

Hassan B. Diab, Marc Frappier, Richard St-Denis

Browse the full ICFEM paper archive.