@misc{Kassios11,
  author = {I. T. Kassios},
  title = {Dynamic Frames and Automated Verification},
  year = {2011},
  note = {Tutorial for the 2nd COST Action IC0701 Training School, Limerick 6/11, Ireland},
}