Automated Technology for Verification and Analysis - Cyrille Artho; Axel Legay; Doron Peled (Springer, 2016)
Keywords: Computer Science; Software Engineering