TY  - RPRT
TI  - Debugging Invariant Issues in Pseudo Embedded Program: an Analytical Approach
AU  - Partha Pratim Ray
AU  - Ansuman Banerjee
AU  - Banibrata Bag
PY  - 2012
UR  - https://arxiv.org/abs/1208.0592
ID  - 1208.0592
ER  -