You are about to access our book library "[Mathematical Approaches to Software Quality] [Author: O'Regan, Gerard] [March, 2012] full version" .