Professional Activities

I am co-chairing the SPIN 2012 Workshop on Model Checking of Software. Please consider submitting a paper!