VSTTE

AcronymDefinition
VSTTE➣Verified Software: Theories, Tools, and Experiments (conference)