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. (Contributor)
Activity: Participating in or organising an event types › Participation in conference