José E. Solsona

[email protected]

ORT University Uruguay Montevideo, Uruguay PhD student in Computer Science. Research on verification of concurrent systems.