TY  - RPRT
TI  - BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards
AU  - Roberto Bagnara
AU  - Michael Barr
AU  - Patricia M. Hill
PY  - 2020
UR  - https://arxiv.org/abs/2003.06893
ID  - 2003.06893
ER  -