Biblio

Export 2 results:
Sort by:
Filters: Author is J. Vasudeo  [Clear All Filters]
2006
Kulczycki, G., and J. Vasudeo, "Simplifying Reasoning about Objects with Tako", Proceedings Specification and Verification of Component-Based Systems (FSE014 SAVCBS '06) Workshop, Portland, OR, November 2006.