1.
|
Moodelling of processes and formal methods Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto
|
2.
|
Program slicing based on sentence executability Cavadini, Salvador V. - Cheda, Diego A.
|