@proceedings{GieseJebelean07,
  editor = {Martin Giese and Tudor Jebelean},
  title = {WING 2007, Workshop on Invariant Generation, Hagenberg, Austria},
  year = {2007},
  note = {RISC Report 07-07}
}