Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Mapping formal results back to uml semi-formal model (2015)