Theodore P. Pavlic, Sai Prathyusha Peddi, Paolo A. G. Sivilotti, Bruce W. Weide. Poster Abstract: Getting Out of the Way - Safety Verification without Compromise. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012. pages 234, IEEE, 2012. [doi]
Abstract is missing.