Exportar registro bibliográfico

Using denotational semantics in the validation of the compiler for a mutation-oriented language (2002)


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021