Cita APA (7th ed.)
International Conference on Software Engineering and Formal Methods ( Grenoble, Francia), Giannakopoulou, D., & Salaün, G. Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings. Springer.
Cita Chicago (17th ed.)
International Conference on Software Engineering and Formal Methods ( Grenoble, Francia), Dimitra Giannakopoulou, i Gwen Salaün. Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings. Cham, Suiza: Springer.
Cita MLA (9th ed.)
International Conference on Software Engineering and Formal Methods ( Grenoble, Francia), et al. Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings. Springer.
Atenció: Aquestes cites poden no estar 100% correctes.