Cite
HARVARD Citation
Esparza, J. et al. (eds.) (2017) 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. [Online]. Berlin, Germany : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100078162212.0x000001