@misc{indiciaea047cae50740,
  title = {APML: An Architecture Proof Modeling Language},
  author = {Diego Marmsoler and Genc Blakqori},
  year = {2019},
  url = {https://arxiv.org/abs/1907.03723},
  note = {Source identifier: 1907.03723}
}