Exportar registro bibliográfico


Metrics:

Systematic mapping: formalization of uml semantics using temporal logic (2015)


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