@misc{indiciae769a04b40f68,
  title = {Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"},
  author = {Lilian Burdy and David Déharbe and Étienne Prun},
  year = {2017},
  doi = {10.4204/eptcs.240.6},
  url = {https://arxiv.org/abs/1701.08470},
  note = {Source identifier: 1701.08470}
}