Proc. 16th Intl. Conf. on Software Engineering and Formal Methods (SEFM 2018)

Abstract

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings