Senior Researcher @ CISTER. Formal methods. Concurrency & Coordination. Software engineering.

ID: 12220872

linkhttps://jose.proenca.org calendar_today14-01-2008 15:48:55