1. Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /: 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. (2019) Editors: Bojańczyk, Mikołaj; Simpson, Alex Other Names: FOSSACS (Conference), 22nd; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xv, 542 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗