Ver registro no DEDALUS
Exportar registro bibliográfico

Developing an ROV software control architecture: a formal specification approach (2012)