User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 1 result.
    • Journal article
    Automated generation of program translation and verification tools using annotated grammars
    Camacho, Diego Ordonez[UCL] Mens, Kim[UCL] van den Brand, Mark Vinju, Jurgen (2010) Science of Computer Programming — Vol. 75, no. 1-2, p. 3-20 (2010)