@inproceedings{ChevalKR-cav18,
  title = "The {DEEPSEC} Prover",
  author = "Vincent Cheval and Steve Kremer and Itsaka Rakotonirina",
  year = "2018",
  booktitle = "Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {II}",
  editor = "Hana Chockler and Georg Weissenbacher",
  pages = "28--36",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CKR-cav18.pdf",
  volume = "10982",
  doi = "10.1007/978-3-319-96142-2_4",
}