PVSio-web 2.0: Joining PVS to HCI

Article Details
Title:	PVSio-web 2.0: Joining PVS to HCI
Article URLs:	https://doi.org/10.1007/978-3-319-21690-4_30
Alternative Article URLs:
Authors:	Paolo Masci	Queen Mary University of London
	Patrick Oladimeji	Swansea University
	Yi Zhang	U.S. Food and Drug Administration
	Paul L. Jones	U.S. Food and Drug Administration
	Paul Curzon	Queen Mary University of London
	Harold W. Thimbleby	Swansea University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://www.pvsioweb.org
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/MasciOZJCT15
Author Comments:

Computer Aided Verification, CAV 2015