Formal Methods and Tools for Security (FMATS4)
Activity: Participating in or organising an event › Participation in workshop, seminar, course
Dusan Repel - Participant
Hosted at Microsoft Research Cambridge, FMATS4 includes research presentations and scientific discussions by the Research Institute in Automated Program Analysis and Verification, industrial presentations from companies focussing on verification, PhD lightning talks and posters, further invited academic talks.
11 Jun 2015 → 12 Jun 2015
Formal Methods and Tools for Security (FMATS4)
| Duration | 11 Jun 2015 → 12 Jun 2015 |
|---|
Event: Other
ID: 25014382