Cita APA (7th ed.)

(2014). Formal methods and software engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings / edited by Stephan Merz, Jun Pang.

Cita Chicago (17th ed.)

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings / Edited by Stephan Merz, Jun Pang. 2014.

Cita MLA (9th ed.)

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings / Edited by Stephan Merz, Jun Pang. 2014.