Programme Committee Member of FormSERA'12, the workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, held in conjunction with ICSE 2012
- Heymans, P. (Orateur)
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès