Exportar registro bibliográfico


Metrics:

Using formal verification to reduce test space of fault-tolerant programs (2008)


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