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.