SpringerLink (Online service), Sekerinski, E., & Albert, E. (2014). Integrated formal methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Springer International Publishing.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Emil Sekerinski, and Elvira Albert. Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Cham: Springer International Publishing, 2014.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Springer International Publishing, 2014.
Warning: These citations may not always be 100% accurate.