Model Checking Software - häftad, Engelska, 2009