alarisgppvsiotemplatesv2 14 Downloads

Models from: Templates for automated verification of user interface software design

Published by José Campos, created by Michael D. Harrison, on 24 Jan 2017
Download (v1.0)

alarisgppvsiotemplatesv2 model details

PVS
PVS
University of Minho
Public
Author
http://hcispecs.di.uminho.pt/m/5 (Copy link)