Books and proceedings
- Joanne M. Atlee and Stefania Gnesi, editors. Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015, volume 182 of EPTCS, 2015. [WWW] [doi:10.4204/EPTCS.182]
BACK TO INDEX