Walking the Line between Java and Resolve: Tako and the Verification Grand Challenge

TitleWalking the Line between Java and Resolve: Tako and the Verification Grand Challenge
Publication TypeConference Paper
Year of Publication2006
AuthorsVasudeo, J., and G. Kulczycki
Conference NameResolve 2006 Proceedings
Date PublishedMarch 2006
Conference LocationBlacksburg, VA
URLhttp://people.cs.vt.edu/~edwards/Resolve-2006/proceedings.html