On the Terminology of VVT

T. Hoppe,P. Meseguer
Abstract:
What problem does this paper attempt to address?