@MASTERSTHESIS{master_thesis,
  author = {Della Monica, Dario},
  title = {Una procedura di Model Checking in un dominio lineare astratto per la verifica di programmi C con array},
  school = {University of Napoli "Federico II"},
  year = {2007},
  month = {October}
}