Winter School on Verification

February 6–10 2012

ARiSE and VCLA joint Winter School on Verification at Vienna University of Technology.

Posted in Events, News, Scientific News