PVSio-web 2.0: Joining PVS to HCI

First Author: Masci P

Attributed to: Discipline Hopping into Healthcare funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-21690-4_30

Publication URI: http://dx.doi.org/10.1007/978-3-319-21690-4_30

Type: Book Chapter

Book Title: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (2015)

Page Reference: 470-478

ISBN: 978-3-319-21689-8