APA Style

HAVELUND, K. et al (2015). NASA Formal Methods:7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (1). : .

MLA Style

HAVELUND, Klaus. et al. "NASA Formal Methods:7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings". 1 : , 2015. Text.