ICFEM Tokio & Ogata, K. (2016). Formal methods and software engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings. Springer. https://doi.org/10.1007/978-3-319-47846-3
Chicago Style (17th ed.) CitationICFEM Tokio and Kazuhiro Ogata. Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : Proceedings. [Cham]: Springer, 2016. https://doi.org/10.1007/978-3-319-47846-3.
MLA (9th ed.) CitationICFEM Tokio and Kazuhiro Ogata. Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : Proceedings. Springer, 2016. https://doi.org/10.1007/978-3-319-47846-3.