Systems and software verification : model-checking techniques and tools - Berard, B..; Bidoit, M.; Finkel, A. (Berlin : Springer, 2001)
1 3
Keywords: Computer systems -- Verification; Computer software -- Verification