Formal Methods and Software Engineering
Subtitle: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Publisher: Springer London, Limited
Published: 2014
Language: eng
Number of pages: 460
ISBN-13: 9783319117379