Ver registro no DEDALUS
Exportar registro bibliográfico

Proteum /FSM: a tool to support finite state machine validation based on mutation testing (1999)