1. Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers. (2015) Editors: Codescu, Mihai; Diaconescu, Răzvan; Tutu, Ionut Other Names: WADT (Workshop), 22nd Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗