@unpublished{nwpt15,
  title = "Towards A Hybrid Approach to Software Verification",
  author = "Della Monica, D. and A. Francalanza",
  note = "27th Nordic Workshop on Programming Theory (NWPT)",
  year = "2015"
}