Simplifying Reasoning about Objects with Tako

TitleSimplifying Reasoning about Objects with Tako
Publication TypeConference Paper
Year of Publication2006
AuthorsKulczycki, G., and J. Vasudeo
Conference NameProceedings Specification and Verification of Component-Based Systems (FSE014 SAVCBS '06) Workshop
Date PublishedNovember 2006
Conference LocationPortland, OR