Cita APA (7a ed.)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia), Margaria, T., & Steffen, B. Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II. Springer.
Cita estilo Chicago (17a ed.)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia), Tiziana Margaria, y Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II. Cham, Suiza: Springer.
Cita MLA (9a ed.)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia), et al. Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II. Springer.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.