1. Metrics for quantifying evolutionary changes in Z specifications. Issue 9 (25th April 2013) Authors: Bollin, Andreas Journal: Journal of software Issue: Volume 25:Issue 9(2013) Page Start: 1027 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗