@inproceedings{173, author = {Zhenkai Zhang and Xenofon Kousoukos}, title = {Generic Value-Set Analysis on Low-Level Code}, year = {2014}, journal = {The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop}, month = {2014}, address = {Rome, Italy}, }