FM 2015: Formal Methods

MLA

Bjørner, Nikolaj Bjørner, and Frank de Boer. Fm 2015: Formal Methods. Springer International Publishing, 2015.

APA

Bjørner, B., Bjørner, N., & de Boer, F. (2015). FM 2015: Formal Methods. Springer International Publishing.

Chicago

Bjørner, Nikolaj Bjørner, and Frank de Boer. FM 2015: Formal Methods. : Springer International Publishing, 2015.