Recent Trends in Algebraic Development Techniques: Revised Selected Papers/21st International Workshop, WART 2012, Salamanca. Spain, June 2013

Б2.2, Б2.13.

Recent Trends in Algebraic Development Techniques: Revised Selected Papers/21st International Workshop, WART 2012, Salamanca. Spain, June 2013Ed. by Marti-Oliet N., Paliomino M..-Berlin.: Springer, 2013.-Vol. 7841.-283 p.-(Lecture Notes in Computer Science).