Reviewer: FME Workshop on Formal Methods in Software Engineering (FormaliSE)

Cordy, M. (Organiser)

Activity: Participating in or organising an event typesParticipation in conference

Description

Invited by Prof. Patrick Heymans
Period2013
Event typeScientific committee
LocationSan Francisco, United States