Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman. Using DEv-PROMELA for Modelling and Verification of Software. In Richard Fujimoto, Brian W. Unger, Christopher D. Carothers, editors, Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, SIGSIM-PADS 2016, Banff, Alberta, Canada, May 15-18, 2016. pages 245-253, ACM, 2016. [doi]
Abstract is missing.