TY  - RPRT
TI  - Source Code Verification for Embedded Systems using Prolog
AU  - Frank Flederer
AU  - Ludwig Ostermayer
AU  - Dietmar Seipel
AU  - Sergio Montenegro
PY  - 2017
DO  - 10.4204/eptcs.234.7
UR  - https://arxiv.org/abs/1701.00630
ID  - 1701.00630
ER  -