Selma Djeddai, Mohamed Mezghiche, Martin Strecker. Combining Verification and MDE Illustrated by a Formal Java Development. In Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, editors, ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. Volume 347 of Communications in Computer and Information Science, pages 131-148, Springer, 2012. [doi]
Abstract is missing.