Runtime Verification for Generic Classes with ConGu 2

TitleRuntime Verification for Generic Classes with ConGu 2
Publication TypeBook Chapter
Year of Publication2011
AuthorsCrispim, P., A. Lopes, and V. T. Vasconcelos
Book TitleFormal Methods: Foundations and Applications
Pagination33–48
PublisherSpringer Berlin Heidelberg