Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/apsec/NguyenATE19
AU - Nguyen, Thuy
AU - Aoki, Toshiaki
AU - Tomita, Takashi
AU - Endo, Junpei
TI - Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller.
BT - 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019
SP - 86
EP - 93
PY - 2019//
DO - 10.1109/APSEC48747.2019.00021
UR - https://doi.org/10.1109/APSEC48747.2019.00021
ER -