Introducing Rigorous Metrics Specification and Verification into a Measurement Program.

F. Maurice Abdelmalek Benzekri Yves Raynaud Introducing Rigorous Metrics Specification and Verification into a Measurement Program. 12-19 1997 conf/metrics/1997 IEEE METRICS http://csdl.computer.org/comp/proceedings/metrics/1997/8093/00/80930012abs.htm db/conf/metrics/metrics1997.html#MauriceBR97