Ver registro no DEDALUS
Exportar registro bibliográfico

Mutation testing applied to validate SDL specifications (2004)