@misc{indiciae85ad3dc60ba8,
  title = {An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project},
  author = {Frank Dordowsky},
  year = {2015},
  doi = {10.4204/eptcs.187.3},
  url = {https://arxiv.org/abs/1508.03894},
  note = {Source identifier: 1508.03894}
}