Publications

of Joanne M. Atlee

Books and proceedings

  1. 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