Exportar registro bibliográfico

Towards deriving test sequences by model checking (2008)


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