Languages

A Method to Generate Verification Condition Generator

TitleA Method to Generate Verification Condition Generator
Publication TypeConference Paper
Year of Publication2011
AuthorsLi Z, Zhang Y, Chen Y
Conference NameFifth International Conference on Theoretical Aspects of Software Engineering
Date Published08/2011