1.
|
Moodelling of processes and formal methods Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto
|
2.
|
A systematic approach to generate test cases based on combinations of information Sánchez, Marisa - Felder, Miguel
|