Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz. Extending specification patterns for verification of parametric traces. In Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione, editors, Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. pages 10-19, ACM, 2018. [doi]
Abstract is missing.