Formal Methods and Tools for Security (FMATS4)

Activity: Conference contributionParticipation in workshop, seminar, course

Dusan Repel - Participant, 11 Jun 201512 Jun 2015

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.

ID: 25014382