Electronic Communications of the EASST
Barroca, Bruno Fontes, Research Center for Informatics and Information Technologies (CITI) - Faculdade de Ciências e Tecnologia (FCT) at Universidade Nova de Lisboa (UNL), Portugal
-
Volume 50: Multi-Paradigm Modeling 2011 - Articles
Asserting the Correctness of Software Language Translations
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.