@Article{Beckert:KI-24-1-57,
  author =       "Bernhard Beckert and Micha{\l} Moskal",
  title =        "Deductive Verification of System Software in the
                 {Verisoft} {XT} Project",
  pages =        "57--61",
  journal =      "K{\"u}nstliche Intelligenz",
  volume =       "24",
  number =       "1",
  year =         "2010",
  ee =           "http://dx.doi.org/10.1007/s13218-010-0005-7",
}