Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

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