TY  - RPRT
TI  - Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems
AU  - Mingyu Park
AU  - Taejoon Byun
AU  - Yunja Choi
PY  - 2013
DO  - 10.4204/eptcs.105.6
UR  - https://arxiv.org/abs/1301.0042
ID  - 1301.0042
ER  -