Tiago Carção, Pedro Martins. A Visual DSL for the Certification of Open Source Software. In Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Maria Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi, editors, Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part V. Volume 8583 of Lecture Notes in Computer Science, pages 602-617, Springer, 2014. [doi]
Abstract is missing.