Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre. Analyzing formal requirements specifications using an off-the-shelf model checker. In 2013 XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013. pages 1-9, IEEE, 2013. [doi]
Abstract is missing.