Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby. Formal Verification of Medical Device User Interfaces Using PVS. In Stefania Gnesi, Arend Rensink, editors, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Volume 8411 of Lecture Notes in Computer Science, pages 200-214, Springer, 2014. [doi]
Abstract is missing.