MLA

Baier, Ugo Dal Lago, and Ugo Dal Lago. Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held As Part of the European Joint Conferences On Theory and Practice of Software, Etaps 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer International Publishing, 2018.

APA

Baier, B., Ugo Dal Lago, U. Dal Lago, & Dal Lago, U. (2018). Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer International Publishing.

Chicago

Baier, Ugo Dal Lago, and Ugo Dal Lago. Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held As Part of the European Joint Conferences On Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer International Publishing, 2018.