Paul L. Jones
AuthID: R-00H-5PA
1
TITLE: PVSio-web 2.0: Joining PVS to HCI
AUTHORS: Paolo Masci ; Patrick Oladimeji; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2015, SOURCE: 27th International Conference on Computer Aided Verification, CAV 2015 in Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, VOLUME: 9206
AUTHORS: Paolo Masci ; Patrick Oladimeji; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2015, SOURCE: 27th International Conference on Computer Aided Verification, CAV 2015 in Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, VOLUME: 9206