16th International Symposium on Formal Methods (FM2009)
- Cavalcanti, A. L. C. (Member of programme committee)
Activity: Participating in or organising an event › Conference participation
Activity: Participating in or organising an event › Conference participation