@misc{indiciae1f85d4cab51d,
  title = {Abstraction Engineering},
  author = {Nelly Bencomo and Jordi Cabot and Marsha Chechik and Betty H. C. Cheng and Benoit Combemale and Andrzej Wąsowski and Steffen Zschaler},
  year = {2024},
  url = {https://arxiv.org/abs/2408.14074},
  note = {Source identifier: 2408.14074}
}