Cite
MLA Citation
Javier Esparza et al., editors. Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Berlin, Germany : Springer, 2017. http://access.bl.uk/ark:/81055/vdc_100078162212.0x000001