SpringerLink (Online service), Pang, J., & Merz, S. (2014). Formal methods and software engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Springer International Publishing.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रSpringerLink (Online service), Jun Pang, और Stephan Merz. Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Cham: Springer International Publishing, 2014.
एमएलए (8वां संस्करण) प्रशस्ति पत्रSpringerLink (Online service), et al. Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Springer International Publishing, 2014.