Exportar registro bibliográfico


Metrics:

Automatic analysis of requirements consistency with the B method (2010)


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