Robert Wille, Rolf Drechsler. Formal Methods for Emerging Technologies. In Diana Marculescu, Frank Liu, editors, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015. pages 65-70, ACM, 2015. [doi]
Abstract is missing.