Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto. A generalized program verification workflow based on loop elimination and SA form. In Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi, editors, Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. pages 75-84, IEEE / ACM, 2019. [doi]
Abstract is missing.