Paul L. Jones
AuthID: R-00H-5PA
1
TÃTULO: PVSio-web 2.0: Joining PVS to HCI
AUTORES: Paolo Masci ; Patrick Oladimeji; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLICAÇÃO: 2015, FONTE: 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
AUTORES: Paolo Masci ; Patrick Oladimeji; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLICAÇÃO: 2015, FONTE: 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
