Exportar registro bibliográfico

Proceedings of the 14. Brazilian Symposium on Formal Methods - SBMF 2011: short papers (2011)


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