Yannis Smaragdakis, Aggelos Biboudis, George Fourtounis. Structured Program Generation Techniques. In Jácome Cunha, João Paulo Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev, editors, Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures. Volume 10223 of Lecture Notes in Computer Science, pages 154-178, Springer, 2015. [doi]
No reviews for this publication, yet.