Exportar registro bibliográfico

Covering user-defined data-flow test requirements using symbolic execution (2014)


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