Seamless Interactive Program Verification.

Sarah Grebing Jonas Klamroth Mattias Ulbrich

Published in: VSTTE (2019)

Keyphrases

virtual reality
user friendly
computer graphics
real time
user interaction
interactive multimedia
multiscale
human computer interaction
information visualization
graphical interface