Ver registro no DEDALUS
Exportar registro bibliográfico

Towards deriving test sequences by model checking (2008)