17th International Symposium on Formal Methods

Cavalcanti, A. L. C. (Member of programme committee)

Computer Science

Activity: Participating in or organising an event › Conference participation

Period	2011
Event type	Conference
Location	Limerick, IrelandShow on map