Foundations of Software Science and Computation Structures
General Material Designation
[electronic resources]
Other Title Information
: 18th International Conference, FOSSACS 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings ABC