Exportar registro bibliográfico

On the choice of models of computation for writing executable specifications of system level designs (2000)


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