1. Foundations of software science and computation structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings /: 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings. (2016) Editors: Jacobs, Bart; Löding, Christof Other Names: FOSSACS (Conference), 19th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xi, 550 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗