Verified Concurrent Programmes: Theory, Tools and Experiments

  • Hillel, K. (Participation - Conference participant)

Activity: Participating in or organizing an event › Organizing a conference, workshop, ...

Description

Conference Participation
Period11 Jun 2013 → 13 Jun 2013
Event typeConference