Conference
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Editors
Ogata K; Lawford M; Liu S
Series
Lecture Notes in Computer Science
Volume
10009
Publication Date
January 1, 2016
ISBN-13
978-3-319-47845-6
Conference proceedings
ICFEM