Ver registro no DEDALUS
Exportar registro bibliográfico

TeTooDS: testing tool for dynamic systems (2008)