Automated technology for verification and analysis - D'Souza, Deepak, (Springer, 2017)
Base de Datos SPRINGER