APA Style

BJORNER, N., BOER, F, D. (2015). FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings . : Springer Cham.

MLA Style

BJORNER, Nikolaj., BOER, Frank, De. "FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings". : Springer Cham, 2015. Text.